@article{Bonet_2000,
    doi = {10.1137/s0097539798353230},
    url = {https://doi.org/10.1137%2Fs0097539798353230},
    year = {2000},
    month = {jan},
    publisher = {Society for Industrial {\&} Applied Mathematics ({SIAM})},
    volume = {29},
    number = {6},
    pages = {1939--1967},
    author = {Maria Luisa Bonet and Toniann Pitassi and Ran Raz},
    title = {On Interpolation and Automatization for Frege Systems},
    journal = {{SIAM} Journal on Computing}
}

@article{Bonet_2000, doi = {10.1137/s0097539798353230}, url = {https://doi.org/10.1137%2Fs0097539798353230}, year = {2000}, month = {jan}, publisher = {Society for Industrial {\&} Applied Mathematics ({SIAM})}, volume = {29}, number = {6}, pages = {1939--1967}, author = {Maria Luisa Bonet and Toniann Pitassi and Ran Raz}, title = {On Interpolation and Automatization for Frege Systems}, journal = {{SIAM} Journal on Computing} }