@article{Bonet_1997,
    doi = {10.2307/2275569},
    url = {https://doi.org/10.2307%2F2275569},
    year = {1997},
    month = {sep},
    publisher = {Cambridge University Press ({CUP})},
    volume = {62},
    number = {3},
    pages = {708--728},
    author = {Maria Bonet and Toniann Pitassi and Ran Raz},
    title = {Lower bounds for cutting planes proofs with small coefficients},
    journal = {Journal of Symbolic Logic}
}

@article{Bonet_1997, doi = {10.2307/2275569}, url = {https://doi.org/10.2307%2F2275569}, year = {1997}, month = {sep}, publisher = {Cambridge University Press ({CUP})}, volume = {62}, number = {3}, pages = {708--728}, author = {Maria Bonet and Toniann Pitassi and Ran Raz}, title = {Lower bounds for cutting planes proofs with small coefficients}, journal = {Journal of Symbolic Logic} }