The Cutting Plane Proof System with Bounded Degree of Falsity.

Andreas Goerdt The Cutting Plane Proof System with Bounded Degree of Falsity. 119-133 1991 conf/csl/1991 CSL db/conf/csl/csl91.html#Goerdt91 http://dx.doi.org/10.1007/BFb0023762