V. Asuncion, Y. Zhang, and Y. Zhou, “Ordered Completion for Logic Programs with Aggregates”, AAAI, vol. 26, no. 1, pp. 691-697, Sep. 2021.