Robuta

https://aaai.org/papers/00034-AAAI84-036-the-tractability-of-subsumption-in-frame-based-description-languages/ The Tractability of Subsumption in Frame-Based Description Languages - AAAI in frame subsumption based description languages