G. Mazzotta, F. Ricca, and C. Dodaro, “Compilation of Aggregates in ASP Systems”, AAAI, vol. 36, no. 5, pp. 5834-5841, Jun. 2022.