1. Foundations of Databases;Abiteboul,1996
2. The disjunctive datalog system DLV;Alviano,2011
3. A tutorial on default logics;Antoniou;ACM Comput. Surv.,1999
4. Knowledge Representation, Reasoning, and Declarative Problem Solving;Baral,2003
5. Answer set programming at a glance;Brewka;Commun. ACM,2011