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

by R Brachman, H Levesque
Venue:Proc. of the 4th Nat. Conf. on Artificial Intelligence (AAAI84).