The Cutting Plane Proof System with Bounded Degree of Falsity.

Andreas Goerdt

Browse the full CSL paper archive.