@article{segerlind_2007,
    Author = {Segerlind, Nathan},
    File = {The Complexity of Propositional Proofs - 4500772 - a - a - z.pdf},
    Journal = {Bulletin of Symbolic Logic},
    Number = {4},
    Pages = {417--481},
    Publisher = {Cambridge University Press},
    Title = {The Complexity of Propositional Proofs},
    Volume = {13},
    Year = {2007},
    bdsk-url-1 = {https://doi.org/10.2178/bsl/1203350879},
    date-added = {2019-10-14 18:00:31 +0200},
    date-modified = {2019-10-14 18:00:31 +0200},
    doi = {10.2178/bsl/1203350879}
}

@article{segerlind_2007, Author = {Segerlind, Nathan}, File = {The Complexity of Propositional Proofs - 4500772 - a - a - z.pdf}, Journal = {Bulletin of Symbolic Logic}, Number = {4}, Pages = {417--481}, Publisher = {Cambridge University Press}, Title = {The Complexity of Propositional Proofs}, Volume = {13}, Year = {2007}, bdsk-url-1 = {https://doi.org/10.2178/bsl/1203350879}, date-added = {2019-10-14 18:00:31 +0200}, date-modified = {2019-10-14 18:00:31 +0200}, doi = {10.2178/bsl/1203350879} }