PROBLEM-SOLVING METHODS IN ARITFICIAL INTELLIGENCE - Nilsson, Nils J. (Mcgraw-Hill Book Company, 1971)