1. An Approach to Heuristic Problem Solving and Theorem Proving in the Propositional Calculus;Amarel,1967
2. Generality and GPS;Ernst;Doctoral dissertation at the Carnegie Institute of Technology,1967
3. Problem Solving Methods in Artificial Intelligence;Nilsson,1971
4. Concepts and Methods for Heuristic Search;Sandewall,1969