J. Fandinno and Z. Hansen, “Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence”, AAAI, vol. 39, no. 14, pp. 14893–14901, Apr. 2025.