1. The nomore++ approach to answer set solving;Anger,2005
2. C. Anger, M. Gebser, T. Schaub, Approaching the core of unfounded sets, in: J. Dix, A. Hunter (Eds.), Proceedings of the Eleventh International Workshop on Nonmonotonic Reasoning (NMRʼ06), number IFI-06-04, Institute for Informatics, Clausthal University of Technology, Technical Report Series, 2006, pp. 58–66.
3. Towards a theory of declarative knowledge;Apt,1987
4. G. Audemard, L. Simon, Predicting learnt clauses quality in modern SAT solvers, in Boutilier (2009) [14, pp. 399–404].