T. DellŽArmi, W. Faber, G. Ielpa, N. Leone, G. Pfeifer: "Semantics and Computation of Aggregate Functions in Disjunctive Logic Programming"; 2003.
http://www.kr.tuwien.ac.at/research/reports/rr0307.ps.gz