Rewriting recursive aggregates in answer set programming: back to monotonicity

Open in new window