Analysis of heurisitc search models. - Thomas A. Sudkamp; Robert Shanahan (ACM Conference on Computer Science, 1987)