The Tractability of Subsumption in Frame-Based Description Languages.

Ronald J. Brachman, Hector J. Levesque

Browse the full AAAI paper archive.