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