"Well-founded and stable semantics of logic programs with aggregates."

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