https://123dok.net/document/yev1693e-evaluating-answer-set-programming-with-convex-recursive-aggregates.html