Fandinno, J., Hansen, Z., & Lierler, Y. (2022). Axiomatization of Aggregates in Answer Set Programming. Proceedings of the AAAI Conference on Artificial Intelligence, 36(5), 5634–5641. https://doi.org/10.1609/aaai.v36i5.20504