1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D. and Patel-Schneider, P.F., eds (2003), The Description Logic Handbook: Theory, Implementation and Applications, Cambridge University Press.
2. Baader, F., Franconi, E., Hollunder, B., Nebel, B. and Profitlich, H.-J. (1994), 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.
3. Baader, F. and Hanschke, P. (1991), A Schema for Integrating Concrete Domains into Concept Languages, ‘in Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI’91)’, pp. 452–457.
4. Baader, F., Küsters, R. and Wolter, F. (2003), Extensions to description logics, in Baader, Calvanese, McGuinness, Nardi and Patel-Schneider (2003), chapter pp. 219–261.
5. Baader, F., Lutz, C. and Suntisrivaraporn, B. (2006), CEL—a polynomial-time reasoner for life science ontologies, in U. Furbach and N. Shankar, eds, ‘Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR’06)’, Vol. 4130 of Lecture Notes in Artificial Intelligence, Springer-Verlag, pp. 287–291.