1. Apt, K.: Principles of Constraint Programming. Cambridge University Press, New York (2003)
2. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, New York (2007)
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);F Baader,2008
4. Baader, F., Peñaloza, R.: Axiom pinpointing in general tableaux. J. Logic Comput. 20(1), 5–34 (2010).
https://doi.org/10.1093/logcom/exn058
5. Bienvenu, M., Rosati, R.: Tractable approximations of consistent query answering for robust ontology-based data access. In: Proceedings IJCAI 2013, pp. 775–781. AAAI Press (2013)