@article{DBLP:journals/corr/AlvianoFG15, title = {Rewriting recursive aggregates in answer set programming: back to monotonicity}, author = {Alviano, Mario and Faber, Wolfgang and Gebser, Martin}, journal = {CoRR}, volume = {abs/1507.03923}, year = {2015} }