M. Davis, G. Logemann, and D. Loveland, A machine program for theorem proving, JACM, vol.5, issue.7

E. Erdem and Y. Zhao, Assat : Computing answer sets of a logic program by sat solver, AAAI-02, 2002.

T. Eiter, Th kr sysem dlv :progress report, comparisons and benchmarks, KR, 1978.

E. Erdem and V. Lifschitz, Tight logicprograms . Thoery and Practice of Logic Programming, pp.499-518, 2003.

F. Fages, Consistency ofclark's completion and existence of stable models, Thoery and Practice of Logic Programming, pp.51-60, 1994.

M. Gelfond and V. Lifschitz, The stable model semantics for logic programming, Logic programming : Fifth Int'l Conf. and Symp, pp.1070-1080, 1988.

M. Gelfond and V. Lifschitz, Classical negation in logic programs and disjunctive databases, New Generation Computing, vol.38, issue.No. 3, pp.365-385, 1991.
DOI : 10.1007/BF03037169

E. Giunchiglia, Y. Lierler, and M. Mratea, Sat-based answer set programming, 19th National Conference on Artificial Intelligence, 2004.

Y. Lierler and M. Maratea, Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs, Procedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), pp.346-350, 2004.
DOI : 10.1007/978-3-540-24609-1_32

I. Niemela, Logic programs with stable models semantics as a constraint programming paradigm, Annals of Mathematics and Artificial Intelligence, vol.25, issue.3/4, pp.241-273, 1999.
DOI : 10.1023/A:1018930122475

R. Reiter, A logic for default reasoning, Artificial Intelligence, vol.13, issue.1-2, pp.81-132, 1980.
DOI : 10.1016/0004-3702(80)90014-4

C. Schwind and P. Siegl, A modal logic for hypothesis theory, Fondamunta Informatika, vol.21, issue.12, pp.89-101, 1994.

P. Siegl and C. Schwind, Hypothesis theory for nonmonotonic reasoning, Workshop on Nonstandard Queries and Answers, 1991.

P. Simons, Extending and implementing the stable model semantics, doctoral dessertation, pp.305-316, 2000.
DOI : 10.1016/S0004-3702(02)00187-X

R. Williams, C. P. Gomes, and B. Selman, Backdoors to typical case complexity, IJCAI, pp.1173-1178, 2003.