@article{CookReckhow:JSL:1979,
    Author = {Cook, Stephen A. and Reckhow, Robert A.},
    File = {The Relative Efficiency of Propositional Proof Systems - cook\_reckhow.pdf},
    Journal = {Journal of Symbolic Logic},
    Number = {1},
    Pages = {36---50},
    Publisher = {Cambridge University Press},
    Title = {The relative efficiency of propositional proof systems},
    Volume = {44},
    Year = {1979},
    bdsk-url-1 = {https://doi.org/10.2307/2273702},
    date-added = {2021-08-04 07:56:46 +0200},
    date-modified = {2021-08-04 07:57:09 +0200},
    doi = {10.2307/2273702}
}

@article{CookReckhow:JSL:1979, Author = {Cook, Stephen A. and Reckhow, Robert A.}, File = {The Relative Efficiency of Propositional Proof Systems - cook_reckhow.pdf}, Journal = {Journal of Symbolic Logic}, Number = {1}, Pages = {36---50}, Publisher = {Cambridge University Press}, Title = {The relative efficiency of propositional proof systems}, Volume = {44}, Year = {1979}, bdsk-url-1 = {https://doi.org/10.2307/2273702}, date-added = {2021-08-04 07:56:46 +0200}, date-modified = {2021-08-04 07:57:09 +0200}, doi = {10.2307/2273702} }