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