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 (2010)
2. Baader, F., Suntisrivaraporn, B.: Debugging SNOMED CT using axiom pinpointing in the description logic EL+. In: Proceedings of the Third International Conference on Knowledge Representation in Medicine, 31 May–2 June 2008, Phoenix, Arizona, USA (2008).
http://ceur-ws.org/Vol-410/Paper01.pdf
3. Desrosiers, C., Galinier, P., Hertz, A., Paroz, S.: Using heuristics to find minimal unsatisfiable subformulas in satisfiability problems. J. Comb. Optim. 18(2), 124–150 (2009).
https://doi.org/10.1007/s10878-008-9142-4
4. Grégoire, É., Mazure, B., Piette, C.: On approaches to explaining infeasibility of sets of boolean clauses. In: 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 3–5 November 2008, Dayton, Ohio, USA, vol. 1, pp. 74–83 (2008).
https://doi.org/10.1109/ICTAI.2008.39
5. Jannach, D., Schmitz, T., Shchekotykhin, K.M.: Parallel model-based diagnosis on multi-core computers. J. Artif. Intell. Res. 55, 835–887 (2016).
https://doi.org/10.1613/jair.5001