"Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates."

Marc Denecker, Nikolay Pelov, Maurice Bruynooghe (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics