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

by R Brachman, H Levesque
Venue:In Proc. of the National Conference on Artificial Intelligence (AAAI-1984