1. F. Baader and P. Hanschke. A scheme for integrating concrete domains into concept languages. In Proceedings of the 12th International Joint Conference on Artificial Intelligence, 1991. A long version is available as DFKI Research Report RR-91-10.
2. F. Baader. Terminological cycles in Kl-one-based knowledge representation languages. In Proceedings of the Eighth National Conference on Artificial Intelligence, volume 2, pages 621–626. AAAI, 1990. A long version is available as DFKI Research Report RR-90-01.
3. F. Baader. Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles. In Proceedings of the 12th International Joint Conference on Artificial Intelligence, 1991. A long version is available as DFKI Research Report RR-90-13.
4. A. Borgida, R. J. Brachman, D. L. McGuinness, and L. A. Resnick. CLASSIC: A structural data model for objects. In International Conference on Management of Data. ACM SIGMOD, 1989.
5. R. J. Brachman and J. G. Schmolze. An overview of the Kl-one knowledge representation system. Cognitive Science, 9(2):171–216, 1985.