1. Lecture Notes in Artificial Intelligence;E. Giunchiglia,2001
2. Giunchiglia, E., Maratea, M., Lierler, Y.: SAT-based answer set programming. In: Proc. AAAI (2004)
3. Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms. MIT Press, Cambridge (2001)
4. Fages, F.: Consistency of Clark’s completion and existence of stable models. Journal of Methods of Logic in Computer Science 1, 51–60 (1994)
5. Babovich, Y., Lifschitz, V.: Computing Answer Sets Using Program Completion (2003), http://www.cs.utexas.edu/users/tag/cmodels/cmodels-1.ps