William J. Cook, Collette R. Coullard, György Turán: On the complexity of cutting-plane proofs. Discret. Appl. Math. 18(1): 25-38 (1987)