C. Koch, N. Leone, G. Pfeifer: "Enhancing disjunctive logic programming systems by SAT checkers"; Artificial Intelligence, Volume 151 (2003), Issues 1-2; 177 - 212.