TY  - RPRT
TI  - Disjunctive ASP with Functions: Decidable Queries and Effective Computation
AU  - Mario Alviano
AU  - Wolfgang Faber
AU  - Nicola Leone
PY  - 2010
DO  - 10.1017/s1471068410000244
UR  - https://arxiv.org/abs/1007.4028
ID  - 1007.4028
ER  -