H.J.: The Tractability of Subsumption in Frame-Based Description Languages (1984)

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