Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence.

Jorge Fandinno, Zachary Hansen

Browse the full AAAI paper archive.