@article{Pudl_k_1997,
    doi = {10.2307/2275583},
    url = {https://doi.org/10.2307%2F2275583},
    year = {1997},
    month = {sep},
    publisher = {Cambridge University Press ({CUP})},
    volume = {62},
    number = {3},
    pages = {981--998},
    author = {Pavel Pudl{\'{a}}k},
    title = {Lower bounds for resolution and cutting plane proofs and monotone computations},
    journal = {Journal of Symbolic Logic}
}

@article{Pudl_k_1997, doi = {10.2307/2275583}, url = {https://doi.org/10.2307%2F2275583}, year = {1997}, month = {sep}, publisher = {Cambridge University Press ({CUP})}, volume = {62}, number = {3}, pages = {981--998}, author = {Pavel Pudl{\'{a}}k}, title = {Lower bounds for resolution and cutting plane proofs and monotone computations}, journal = {Journal of Symbolic Logic} }