Ronald J. Brachman Hector J. Levesque The Tractability of Subsumption in Frame-Based Description Languages. 34-37 1984 AAAI db/conf/aaai/aaai84.html#BrachmanL84