Francesco Calimeri Wolfgang Faber Nicola Leone Simona Perri Declarative and Computational Properties of Logic Programs with Aggregates. 406-411 2005 conf/ijcai/2005 IJCAI http://www.ijcai.org/papers/1346.pdf db/conf/ijcai/ijcai2005.html#CalimeriFLP05