@article{10.2307/421131,
    Author = {Urquhart, Alasdair},
    File = {The Complexity of Propositional Proofs - 421131 - a - a - z.pdf},
    ISSN = {10798986},
    Journal = {The Bulletin of Symbolic Logic},
    Number = {4},
    Pages = {425--467},
    Publisher = {[Association for Symbolic Logic, Cambridge University Press]},
    Title = {The Complexity of Propositional Proofs},
    URL = {http://www.jstor.org/stable/421131},
    Volume = {1},
    Year = {1995},
    bdsk-url-1 = {http://www.jstor.org/stable/421131},
    date-added = {2019-10-14 18:08:32 +0200},
    date-modified = {2019-10-14 18:08:32 +0200},
    doi = {10.2307/421131}
}

@article{10.2307/421131, Author = {Urquhart, Alasdair}, File = {The Complexity of Propositional Proofs - 421131 - a - a - z.pdf}, ISSN = {10798986}, Journal = {The Bulletin of Symbolic Logic}, Number = {4}, Pages = {425--467}, Publisher = {[Association for Symbolic Logic, Cambridge University Press]}, Title = {The Complexity of Propositional Proofs}, URL = {http://www.jstor.org/stable/421131}, Volume = {1}, Year = {1995}, bdsk-url-1 = {http://www.jstor.org/stable/421131}, date-added = {2019-10-14 18:08:32 +0200}, date-modified = {2019-10-14 18:08:32 +0200}, doi = {10.2307/421131} }