1. BARBER, G.R. Office semantics. Ph.D. dissertation, Massachusetts Institute of Technology, Cambridge, Mass., 1982.
2. DE KLEER, J., DOYLE, J., STEELE, G.L., AND SUSSMAN, G.J. AMORD: Explicit control of reasoning. In Proceedings of the Symposium on Artificial Intelligence and Programming Languages (Rochester, N.Y., August 15–17), 1977, ACM, New York, pp. 116–125.
3. Truth maintenance systems for problem solving;DOYLE,1977
4. Office information systems and computer science;ELLIS;ACM Comput. Surv.,1980
5. FIKES, R.E. AND HENDERSON, D.A. On supporting the use of procedures in office work. In Proceedings of the 1st Annual AAAI Conference. American Association for Artificial Intelligence, Aug. 1980.