The tractability of subsumption in frame-based description languages (1984)

by R Brachman, H Levesque
Venue:In Proceedings of the Fourth National Conference on Artificial Intelligence (AAAI-84