1. Aït-Kaci, H.: Type subsumption as a model of computation. In: Kerschberg, L. (ed.) Proceedings of the First International Conference on Expert Database Systems, Kiawah Island, South Carolina, October 1984, pp. 124–150 (1984)
2. Baader, F., Hollunder, B., Nebel, B., Profitlich, H.-J., Franconi, E.: An empirical analysis of optimization techniques for terminological representation systems, or, making KRIS get a move on. In: Nebel, et al. (eds.) [35], pp. 270–281
3. Baader, F., Küsters, R., Borgida, A., McGuinness, D.: Matching in description logics. Journal of Logic and Computation 9(3), 411–447 (1999)
4. Borgida, A.: Extensible knowledge representation: the case of description reasoners. Journal of Artificial Intelligence Research 10, 399–434 (1999)
5. Borgida, A., Brachman, R.J., McGuinness, D.L., Resnick, L.A.: CLASSIC: A structural data model for objects. In: Proceedings of the 1989 ACM SIGMOD International Conference on Mangement of Data, June 1989, pp. 59–67. Association for Computing Machinery, New York (1989)