Fandinno, Jorge, and Zachary Hansen. 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-901. https://doi.org/10.1609/aaai.v39i14.33633.