Edward A. Hirsch Sergey I. Nikolenko Simulating Cutting Plane Proofs with Restricted Degree of Falsity by Resolution. 135-142 2005 conf/sat/2005 SAT http://dx.doi.org/10.1007/11499107_10 db/conf/sat/sat2005.html#HirschN05