Harold S. Stone Paolo Sipala The Average Complexity of Depth-First Search with Backtracking and Cutoff. 242-258 1986 30 IBM Journal of Research and Development 3 db/journals/ibmrd/ibmrd30.html#StoneS86 http://dx.doi.org/10.1147/rd.303.0242