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

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