Fandinno, J.; Hansen, Z. Recursive Aggregates As Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence. AAAI 2025, 39, 14893-14901.