1. Hollunder, B., Nutt, W., Schmidt-Schauß, M.: Subsumption Algorithms for Concept Description Languages. In: Proc. 8th European Conference on Artificial Intelligence, pp. 348–353 (1990)
2. Baader, F., Franconi, E., Hollunder, B., Nebel, B., Profitlich, H.J.: An Empirical Analysis of Optimization Techniques for Terminological Representation Systems or: Making KRIS get a move on. Applied Artificial Intelligence. Special Issue on Knowledge Base Management 4, 109–132 (1994)
3. LNAI;F. Giunchiglia,1996
4. Giunchiglia, E., Giunchiglia, F., Sebastiani, R., Tacchella, A.: More evaluation of decision procedures for modal logics. In: Sixth International Conference on Principles of Knowledge Representation and Reasoning, KR 1998 (1998)
5. Heuerding, A., Jager, G., Schwendimann, S., Seyfried, M.: The Logics Workbench LWB: A Snapshot. Euromath Bulletin 2(1), 177–186 (1996)