1. Simons, P., Niemelä, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence 138, 181–234 (2002)
2. Lin, F., Zhao, Y.: ASSAT: Computing answer sets of a logic program by SAT solvers. In: Proceedings of AAAI 2002, pp. 112–117. AAAI Press, Menlo Park (2002)
3. Babovich, Y., Lifschitz, V.: Cmodels package (2002),
http://www.cs.utexas.edu/users/tag/cmodels.html
4. Liu, L., Truszczyński, M.: Properties of programs with monotone and convex constraints. In: Proceedings of AAAI 2005. AAAI Press, Menlo Park (2005)
5. Lecture Notes in Computer Science;N. Eén,2004