Audemard, G.; Katsirelos, G.; Simon, L. A Restriction of Extended Resolution for Clause Learning SAT Solvers. AAAI 2010, 24, 15-20.