1. Attardi, G., and M. Simi, “Consistency and Completeness of Omega, a Logic for Knowledge Representation”, Proc. 7th International Joint Conference on Artificial Intelligence, Vancouver, 1981.
2. Attardi, G., and M. Simi, “Semantics of Inheritance and Attributions in the Description System Omega”, AI Memo 642, MIT, 1981.
3. Attardi, G., and M. Simi, “Metalanguage and Reasoning Across Viewpoints”, Proc. 6th European Conference on Artificial Intelligence, Pisa, 1984.
4. Attardi, G., and M. Simi, “A Description-Oriented Logic for Building Knowledge Bases”, Proc. IEEE, Vol. 74, No. 10, October 1986, pp. 1335–1344.
5. Bowen, K.A., and R.A. Kowalski, “Amalgamating Language and Metalanguage in Logic Programming”, in K.L. Clark and S.A. Tarnlund (eds.), Logic Programming, Academic Press, London, 1982.