D. L. J. Alexander D. W. Bulger G. R. Wood Expected search duration for finite backtracking adaptive search. 78-86 2003 47 J. Algorithms 2 http://dx.doi.org/10.1016/S0196-6774(03)00018-X db/journals/jal/jal47.html#AlexanderBW03