1. Datalog rewritability of disjunctive Datalog programs and its applications to ontology reasoning;Kaminski,2014
2. Computing Datalog rewritings for disjunctive Datalog programs and description logic ontologies;Kaminski,2014
3. Disjunctive Datalog;Eiter;ACM Trans. Database Syst.,1997
4. Complexity and expressive power of logic programming;Dantsin;ACM Comput. Surv.,2001
5. The DLV system for knowledge representation and reasoning;Leone;ACM Trans. Comput. Log.,2006