1. Type subsumption as a model of computation;Aı̈t-Kaci,1984
2. An empirical analysis of optimization techniques for terminological representation systems, or, making KRIS get a move on;Baader,1992
3. Matching in description logics;Baader;J. Logic Comput.,1999
4. Extensible knowledge representation: The case of description reasoners;Borgida;J. Artificial Intelligence Res.,1999
5. CLASSIC: A structural data model for objects;Borgida,1989