"Partial Stable Models for Logic Programs with Aggregates."

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