[Ferraris and Lifschitz, 2005a] Paolo Ferraris and Vladimir Lifschitz. Mathematical foundations of answer set programming. In *We Will Show Them! Essays in* Honour of Dov Gabbay, pages 615–664. King's College Publications, 2005.

[Ferraris and Lifschitz, 2005b] Paolo Ferraris and Vladimir Lifschitz. Weight constraints as nested expressions. *Theory and Practice of Logic Programming*,
5:45–74, 2005.

[Ferraris, 2005] Paolo Ferraris. Answer sets for propositional theories. In Proceedings of International Conference on Logic Programming *and Nonmonotonic Reasoning (LPNMR)*, pages 119–131, 2005.

[Ferraris, 2007] Paolo Ferraris. *Expressiveness of answer set languages*. PhD
thesis, University of Texas at Austin, 2007. PhD thesis.

[Gelfond and Lifschitz, 1988] Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. In Robert Kowalski and Kenneth Bowen, editors, Proceedings of International Logic Programming Conference and Symposium, pages 1070–1080. MIT Press, 1988.

[Gelfond and Lifschitz, 1991] Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. *New Generation Computing*, 9:365–385, 1991.

[Heljanko and Niemel¨a, 2001] Keijo Heljanko and Ilkka Niemel¨a. Answer set programming and bounded model checking. In *Working Notes of the AAAI*
Spring Symposium on Answer Set Programming, 2001.

[Hietalahti *et al.*, 2000] Maarit Hietalahti, Fabio Massacci, and Nielel¨a Ilkka. a challenge problem for nonmonotonic reasoning systems. In *Proceedings of the* 8th International Workshop on Non-Monotonic Reasoning, 2000.

[Koksal *et al.*, 2001] Pinar Koksal, Kesim Cicekli, and I. Hakki Toroslu. Specification of wrokflow processes using the action description language ⌋. In *Working Notes of the AAAI Spring Symposium on Answer Set Programming*, 2001.

[Lifschitz and Turner, 1994] Vladimir Lifschitz and Hudson Turner. Splitting a logic program. In Pascal Van Hentenryck, editor, *Proceedings of International* Conference on Logic Programming (ICLP), pages 23–37, 1994.

[Lifschitz *et al.*, 1999] Vladimir Lifschitz, Lappoon R. Tang, and Hudson Turner.

Nested expressions in logic programs. Annals of Mathematics and Artificial Intelligence, 25:369–389, 1999.