A correspondence theory for terminological logics: preliminary report (1991)

by Klaus Schild
Venue:In Proceedings of IJCAI-91, 12th International Joint Conference on Artificial Intelligence