1. A knowledge-based system for automatic program construction;Barstow,1977
2. An overview of KRL, A knowledge representation language;Bobrow;Cognitive Sci.,1977
3. Applications of meta level knowledge to the construction, maintenance and use of large knowledge bases;Davis,1976
4. Generalized procedure calling and content-directed invocation;Davis;SIGPLAN Notices,1977
5. Explict control of reasoning;de Kleer;MIT AI Memo 427,1977