"Aggregate Functions in DLV."

Tina Dell'Armi et al. (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics