[Calimeri *et al.*, 2005] Francesco Calimeri, Wolfgang Faber, Nicola Leone, and Simona Perri. Declarative and computational properties of logic programs with aggregates. In *Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)*, 2005.

[Denecker *et al.*, 2001] Marc Denecker, Nikolay Pelov, and Maurice Bruynooghe.

Ultimate well-founded and stable semantics for logic programs with aggregates.

In *Proc. ICLP*, pages 212–226, 2001.

[Denecker *et al.*, 2002] Marc Denecker, V. Wiktor Marek, and Mirosław Truszczy´nski. Ultimate approximations in nonmonotonic knowledge representation systems. In *Proc. KR*, pages 177–190, 2002.

[Dimopoulos *et al.*, 1997] Yannis Dimopoulos, Bernhard Nebel, and Jana Koehler. Encoding planning problems in non-monotonic logic programs. In Sam Steel and Rachid Alami, editors, *Proceedings of European Conference on* Planning, pages 169–181. Springer-Verlag, 1997.

[Eiter and Gottlob, 1993] Thomas Eiter and Georg Gottlob. Complexity results for disjunctive logic programming and application to nonmonotonic logics. In Dale Miller, editor, *Proceedings of International Logic Programming Symposium (ILPS)*, pages 266–278, 1993.

[Erdem *et al.*, 2000] Esra Erdem, Vladimir Lifschitz, and Martin Wong. Wire routing and satisfiability planning. In *Proceedings of International Conference* on Computational Logic, pages 822–836, 2000.

[Erdem *et al.*, 2003] Esra Erdem, Vladimir Lifschitz, Luay Nakhleh, and Donald Ringe. Reconstructing the evolutionary history of Indo-European languages using answer set programming. In *Proceedings of International Symposium on* Practical Aspects of Declarative Languages (PADL), pages 160–176, 2003.

[Erdo˘gan and Lifschitz, 2004] Selim T. Erdo˘gan and Vladimir Lifschitz. Definitions in answer set programming. In Vladimir Lifschitz and Ilkka Niemel¨a, editors, *Proceedings of International Conference on Logic Programming and* Nonmonotonic Reasoning (LPNMR), pages 114–126, 2004.

[Faber *et al.*, 2004] Wolfgang Faber, Nicola Leone, and Gerard Pfeifer.

Recursive aggregates in disjunctive logic programs: Semantics and complexity. In *Proceedings of European Conference on Logics in Artificial Intelligence (JELIA)*, 2004. Revised version:
http://www.wfaber.com/research/papers/jelia2004.pdf.