L. Petite-bibliographie, M. Gelfond, and V. Lifschitz, The stable model semantics for logic programming Logic Programming (LP-88) L'incontournable, mais pas très récent: Chitta Baral Knowledge representation, reasoning and declarative problem solving, pp.1070-1080, 1988.

M. Gebser, R. Kaminski, B. Kaufmann, and T. Schaub, Answer Set Solving in Practice, Synthesis Lectures on Artificial Intelligence and Machine Learning, vol.6, issue.3, 2012.
DOI : 10.2200/S00457ED1V01Y201211AIM019

D. N. Présentation-de, G. Leone, W. Pfeifer, T. Faber, G. Eiter et al., The DLV System for Knowledge Representation and Reasoning, ACM Transactions on Computational Logic (TOCL), vol.7, issue.3, pp.499-562, 2006.

M. Gelfond, Answer sets In: Handbook of Knowledge Representation, pp.285-316, 2008.