Ultimate Well-founded and Stable Semantics for Logic Programs with Aggregates (2001)

by M Denecker, N Pelov, M Bruynooghe
Venue:ICLP 2001 : 212–226, LNCS 2237