Fandinno, Jorge, Zachary Hansen, and Yuliya Lierler. 2022. “Axiomatization of Aggregates in Answer Set Programming”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (5):5634-41. https://doi.org/10.1609/aaai.v36i5.20504.