Wolfgang Faber Gerald Pfeifer Nicola Leone Tina Dell'Armi Giuseppe Ielpa Design and Implementation of Aggregate Functions in the DLV System http://arxiv.org/abs/0802.3137 2008 CoRR abs/0802.3137 db/journals/corr/corr0802.html#abs-0802-3137 informal publication