Sanjeeb Dash On the complexity of cutting plane proofs using split cuts. 2008 TR08 Electron. Colloquium Comput. Complex. https://eccc.weizmann.ac.il/eccc-reports/2008/TR08-084/index.html TR08-084 db/journals/eccc/eccc15.html#Dash08