1. Negation as failure;Clark,1978
2. Tight logic programs;Erdem;Theory and Practice of Logic Programming,2003
3. Consistency of Clark's completion and existence of stable models;Fages;Journal of Methods of Logic in Computer Science,1994
4. Mathematical foundations of answer set programming;Ferraris,2005
5. Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, A new perspective on stable models, in: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 2007, pp. 372–379.