1. HEURISTIC DENDRAL: A program for generating explanatory hypotheses in organic chemistry;Buchanan,1969
2. GPS: A Case Study in Generality and Problem Solving;Ernst,1969
3. Learning and executing generalized robot plans;Fikes;Artificial Intelligence,1972
4. STRIPS: A new approach to the application of theorem proving to problem solving;Fikes;Artificial Intelligence,1971
5. Description and theoretical analysis (using schemata) of PLANNER: A language for proving theorems and manipulating models in a robot;Hewitt,1972