G. Audemard, G. Katsirelos, and L. Simon, “A Restriction of Extended Resolution for Clause Learning SAT Solvers”, AAAI, vol. 24, no. 1, pp. 15–20, Jul. 2010.