Attardi, G., and Simi, M. "Consistency and Completeness of OMEGA, a Logic for Knowledge Representation"

[Proceedings] (1981) Proceedings of the 7th International Joint Conference on Artificial Intelligence IJCAI-81, (Vancouver, Canada, Aug 1981) Cambridge, Mass., 1981  

Languages mentioned OMEGA {1981}