The tractability of subsumption in framebased description languages (1984)

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