1. Schmidt-Schau, M., Smolka, G.: Attributive concept descriptions with complements. Artificial Intelligence 48(1), 1–26 (1991)
2. McGuinness, D.: Explaining Reasoning in Description Logics. PhD thesis, Rutgers University (1996)
3. Liebig, T., Halfmann, M.: Explaining subsumption in
$\mathcal{ALEHF}_{R^+}$
tboxes. In: Horrocks, I., Sattler, U., Wolter, F. (eds.) Proc. of the 2005 International Workshop on Description Logics - DL 2005, Edinburgh, Scotland, pp. 144–151 (July 2005)
4. Deng, X., Haarslev, V., Shiri, N.: Using patterns to explain inferences in
$\mathcal{ALCHI}$
. Computational Intelligence 23(3), 386–406 (2007)
5. Gordeev, L., Haeusler, E., Costa, V.: Proof compressions with circuit-structured substitutions. In: Zapiski Nauchnyh Seminarov POMI (to appear, 2008)