1. A.V. Aho and J.D. Ullman, University of data retrieval languages, in:Proceedings of the 6th ACM Symposium on Principles of Programming Languages (1979).
2. F. Baader, Terminological cycles in KL-ONE-based knowledge representation languages, in:Proceedings of the 8th National Conference of the American Association for Artificial Intelligence, AAAI-90 (Boston, 1990).
3. F. Baader, Terminological cycles in KL-ONE-based knowledge representation languages, DFKI Research Report RR-90-01, DFKI Kaiserslautern (1990).
4. 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, IJCAI-91 (Sydney, 1991).
5. F. Baader and B. Hollunder, KRIS: Knowledge representation and inference system,SIGART Bulletin 2 (1991).