1. Significant event simulation;Babich;Communications of the Association for Computing Machinery,1975
2. STRIPS: A new approach to the application of theorem proving to problem-solving;Fikes;Artificial intelligence,1971
3. GROPE: A graph processing language and its fotmal definition;Friedman,1973
4. The Little LISPer;Friedman,1974
5. 3.65 Simulation of natural systems;Gaines;Computing Reviews,1975