Problem-solving methods in artificial intelligence - Nilsson, Nils J. 1933- (McGraw-Hill, 1971)