"From Non-Convex Aggregates to Monotone Aggregates in ASP."

Mario Alviano, Wolfgang Faber, Martin Gebser (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics