Fandinno, J.; Hansen, Z.; Lierler, Y. Axiomatization of Aggregates in Answer Set Programming. AAAI 2022, 36, 5634-5641.