Allen Van Gelder Input Distance and Lower Bounds for Propositional Resolution Proof Length. 282-293 2005 conf/sat/2005 SAT http://dx.doi.org/10.1007/11499107_21 db/conf/sat/sat2005.html#Gelder05