1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge, MA (2003)
2. Baader, F., Hollunder, B.: Embedding defaults into terminological representation systems. J. Autom. Reason. 14, 149–180 (1995)
3. Console, L., Dressler, O.: Model-based diagnosis in the real world: lessons learned and challenges remaining. In: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI’99, pp. 1393–1400 (1999)
4. de la Banda, M.G., Stuckey, P.J., Wazny, J.: Finding all minimal unsatisfiable subsets. In: Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming, ACM-SGPLAN’03, pp. 32–43 (2003)
5. Friedrich, G., Shchekotykhin, K.M.: A general diagnosis method for ontologies. In: Proceedings of the 4th International Semantic Web Conference, ISWC’05. LNCS, vol. 3729, pp. 232–246 (2005)