Asuncion, V.; Zhang, Y.; Zhou, Y. Ordered Completion for Logic Programs With Aggregates. AAAI 2021, 26, 691-697.