A Tableau-Based Explainer for DL Subsumption.

Thorsten Liebig, Michael Halfmann

Browse the full TABLEAUX paper archive.