Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues

Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna. Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues. TPLP, 12(4-5):701-718, 2012. [doi]

Abstract

Abstract is missing.