TY  - RPRT
TI  - Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues
AU  - Mario Alviano
AU  - Wolfgang Faber
AU  - Nicola Leone
AU  - Marco Manna
PY  - 2012
DO  - 10.1017/s1471068412000257
UR  - https://arxiv.org/abs/1210.2316
ID  - 1210.2316
ER  -