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