1. STRIPS: A new approach to the application of theorem proving to problem solving;Fikes;Artificial Intelligence,1971
2. Monitored execution of robot plans produced by STRIPS;Fikes,1971
3. User's Guide to QA3.5 Question-Answering System;Garvey,1969
4. Research and Applications—Artificial Intelligence;Raphael,1971
5. Shakey: Experiments in Robot Planning and Learning;Hart,1972