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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.