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

by Klaus Schild
Venue:In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI’91