"Compilation of Aggregates in ASP."

Giuseppe Mazzotta (2021)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics