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