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]
No references recorded for this publication.
No citations of this publication recorded.