Andreas Goerdt Cuting Plane Versus Frege Proof Systems. 174-194 1990 conf/csl/1990 CSL db/conf/csl/csl90.html#Goerdt90 http://dx.doi.org/10.1007/3-540-54487-9_59