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

Nikolay Pelov Marc Denecker Maurice Bruynooghe Well-founded and stable semantics of logic programs with aggregates. 301-353 2007 7 TPLP 3 http://dx.doi.org/10.1017/S1471068406002973 db/journals/tplp/tplp7.html#PelovDB07