Abstract: Journal Article Axiom Pinpointing in General Tableaux Get access Franz Baader, Franz Baader Theoretical Computer Science, TU Dresden, Germany. E-mail: [email protected] Search for other works by this author on: Oxford Academic Google Scholar Rafael Peñaloza Rafael Peñaloza Intelligent Systems, University of Leipzig, Germany. E-mail: [email protected] Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 20, Issue 1, February 2010, Pages 5–34, https://doi.org/10.1093/logcom/exn058 Published: 13 November 2008 Article history Received: 13 December 2007 Published: 13 November 2008