1. Lecture Notes in Computer Science;C. Areces,1999
2. Areces, C., Blackburn, P., Marx, M.: The computational complexity of hybrid temporal logics. Logic Journal of the IGPL 8(5) (2000)
3. Baader, F.: Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles. In: Proc. of IJCAI-1991, Sydney (1991)
4. Baader, F.: Using automata theory for characterizing the semantics of terminological cycles. Annals of Mathematics and Artificial Intelligence 18(2–4), 175–219 (1996)
5. Baader, F., Brandt, S., Küsters, R.: Matching under side conditions in description logics. In: Nebel, B. (ed.) Proc. of IJCAI-2001, Morgan Kaufmann, San Francisco (2001)