Fandinno, J., & 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), 14893–14901. https://doi.org/10.1609/aaai.v39i14.33633