1. A heuristic program for solving problems stated as nondeterministic procedures;Fikes,1968
2. Stating problems as procedures to a general problem solving program;Fikes,1968
3. Bobrow, D. Natural language input for a computer problem solving system, Doctoral Dissertation, Massachusetts Institute of Technology, Cambridge, Mass.
4. A tree searching method for solving integer linear inequalities;Burstall,1965
5. Application of theorem proving to problem solving;Green,1969