Fandinno, J. and Hansen, Z. (2025) “Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence”, Proceedings of the AAAI Conference on Artificial Intelligence, 39(14), pp. 14893–14901. doi: 10.1609/aaai.v39i14.33633.