J. Fandinno, Z. Hansen, and Y. Lierler, “Axiomatization of Aggregates in Answer Set Programming”, AAAI, vol. 36, no. 5, pp. 5634–5641, Jun. 2022.