William Cook Cutting-Plane Proofs in Polynomial Space. 11-18 1990 47 Math. Program. db/journals/mp/mp47.html#Cook90 http://dx.doi.org/10.1007/BF01580849