(en) Thomas Eiter et Georg Gottlob, « Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics », Proceedings of the 1993 International Symposium on Logic Programming, MIT Press, iLPS '93, , p. 266–278 (ISBN9780262631525, lire en ligne, consulté le ) :
« Th. 3.2 et 3.5 »
arxiv.org
Claire Lefèvre, Christopher Béatrix, Igor Stéphan et Laurent Garcia, « ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing », arXiv:1503.07717 [cs], (DOI10.48550/arxiv.1503.07717, lire en ligne, consulté le )
books.google.com
Représentation des connaissances, raisonnement et déclarative Problem Solving, Cambridge University Press, (ISBN978-0-521-81802-5, lire en ligne).
Claire Lefèvre, Christopher Béatrix, Igor Stéphan et Laurent Garcia, « ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing », arXiv:1503.07717 [cs], (DOI10.48550/arxiv.1503.07717, lire en ligne, consulté le )
Tommi Syrjänen et Ilkka Niemelä, « The Smodels System », dans Logic Programming and Nonmotonic Reasoning, Springer Berlin Heidelberg, (ISBN9783540425939, lire en ligne), p. 434–438