"Translation of Aggregate Programs to Normal Logic Programs."

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