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