TY  - RPRT
TI  - Rewriting recursive aggregates in answer set programming: back to monotonicity
AU  - Mario Alviano
AU  - Wolfgang Faber
AU  - Martin Gebser
PY  - 2015
DO  - 10.1017/s1471068415000228
UR  - https://arxiv.org/abs/1507.03923
ID  - 1507.03923
ER  -