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

by R J Brachman, H J Levesque
Venue:In AAAI-84