Search methods for artificial intelligence - Bolc, Leonard (Academic Press, 1992)