1. Barstow, D., A knowledge-based system for automatic program construction, Proceedings of the Fifth International Joint Conference on Artificial Intelligence (1977) 382–388.
2. An overview of KRL, A knowledge representation language;Bobrow;Cognitive Sci.,1977
3. Davis, R., Applications of meta level knowledge to the construction, maintenance and use of large knowledge bases, Doctoral Dissertation, Computer Science Department, Stanford University (1976) (Also Stanford Computer Science Department Report No. STAN-CS-76-552.
4. Generalized procedure calling and content-directed invocation;Davis;SIGPLAN Notices,1977
5. de Kleer, J., Doyle, J., Steele, G.L. and Sussman, G.J., Explict control of reasoning, MIT AI Memo 427 (June 1977).