Problem-Solving Methods in Artificial Intelligence; Nilsson 1971; 1st Ed.; HBPart of McGraw Hill Computer Science Series.