A Tableau-Based Explainer for DL Subsumption. - Thorsten Liebig; Michael Halfmann (TABLEAUX, 2005)