ยท [AI] W. Zhang, State-Space Search: Algorithms, Complexity, Extensions, and Applications, Springer-Verlag, New York, NY, 1999.