Toni Jussila Carsten Sinz Armin Biere Extended Resolution Proofs for Symbolic SAT Solving with Quantification. 54-60 2006 conf/sat/2006 SAT http://dx.doi.org/10.1007/11814948_8 db/conf/sat/sat2006.html#JussilaSB06