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. TPLP, 7(3):301-353, 2007. [doi]

No reviews for this publication, yet.