Rewriting recursive aggregates in answer set programming: back to monotonicity