1. Franz Baader. Characterizations of unification type zero. In N. Dershowitz, editor,Proceedings of the 3rd International Conference on Rewriting Techniques and Applications, volume 355 ofLecture Notes in Computer Science, pages 2-14, Chapel Hill, North Carolina, 1989. Springer-Verlag.
2. Unification in commutative theories
3. Franz Baader. Terminological cycles in KL-ONE-based knowledge representation languages. InProc. of the 8th Nat. Conf. on Artificial Intelligence (AAAI'90), pages 621-626, Boston (Ma, USA), 1990.
4. Franz Baader. Terminological cycles in a description logic with existential restrictions. In Georg Gottlob and Toby Walsh, editors,Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI 2003), pages 325-330, Acapulco, Mexico, 2003. Morgan Kaufmann, Los Altos.
5. Franz Baader, Sebastian Brandt, and Carsten Lutz. Pushing theELenvelope. In Leslie Pack Kaelbling and Alessandro Saffiotti, editors,Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), pages 364-369, Edinburgh (UK), 2005. Morgan Kaufmann, Los Altos.