Consistency and Completeness of OMEGA, a Logic for Knowledge Representation (1981)

by G Attardi, M Simi
Venue:In Proceedings of the Seventh International Joint Conference on Artificial Intelligence, 504–510. Menlo Park, Calif.: International Joint Conferences on Artificial Intelligence