1. Lecture Notes in Computer Science;C. Areces,1999
2. Baader, F.: Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles. In: Proc. of IJCAI 1991 (1991)
3. Baader, F., Bürckert, H.-J., Nebel, B., Nutt, W., Smolka, G.: On the expressivity of feature logics with negation, functional uncertainty, and sort equations. Journal of Logic, Language and Information 2, 1–18 (1993)
4. Baader, F., Heinsohn, H.-J., Hollunder, B., Muller, J., Nebel, B., Nutt, W., Profitlich, H.-J.: Terminological knowledge representation: A proposal for a terminological logic. Technical Memo TM-90-04, DFKI, Saarbrücken,Germany (1991)
5. Blackburn, P., Seligman, J.: What are hybrid languages? In: Advances in Modal Logic, vol. 1, pp. 41–62. CSLI Publications, Stanford University (1998)