Tree size by partial backtracking (1978)

by P W Purdom
Venue:SIAM Journal of Computing