1. Automata-based axiom pinpointing;Baader;Journal of Automated Reasoning,2010
2. Axiom pinpointing in general tableaux;Baader;Journal of Logic and Computation,2010
3. [3] F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi and P.F. Patel-Schneider, eds, The Description Logic Handbook: Theory, Implementation, and Applications, Cambridge University Press, Cambridge, UK, 2003.
4. [4] F. Baader, R. Peñaloza and B. Suntisrivaraporn, Pinpointing in the Description Logic EL+, in: Proc. of 30th Annual German Conference on Advances in Artificial Intelligence, KI 2007, Osnabrück, Germany, September 10–13, 2007, J. Hertzberg, M. Beetz and R. Englert, eds, Lecture Notes in Computer Science, Vol. 4667, Springer, Berlin, 2007, pp. 52–67.
5. [5] F. Baader, I. Horrocks and U. Sattler, Description logics, in: Handbook of Knowledge Representation, Chap. 3, Elsevier, Amsterdam, The Netherlands, 2008, pp. 135–179.