"Well-founded and Stable Semantics of Logic Programs with Aggregates"

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