KRYPTON : Integrating terminology and assertion (1983)

by R J Brachman, R E Fikes, H J Levesque
Venue:In Proceedings of the National Conference on Artificial Intelligence (AAAI-83