@inbook{Tseitin1983,
    Abstract = {The question of the minimum complexity of derivation of a given formula in classical propositional calculus is considered in this article and it is proved that estimates of complexity may vary considerably among the various forms of propositional calculus. The forms of propositional calculus used in the present article are somewhat unusual, {\textdagger} but the results obtained for them can, in principle, be extended to the usual forms of propositional calculus.},
    Address = {Berlin, Heidelberg},
    Author = {Tseitin, G. S.},
    BookTitle = {Automation of Reasoning: 2: Classical Papers on Computational Logic 1967--1970},
    Editor = {Siekmann, J{\"o}rg H. and Wrightson, Graham},
    File = {On the Complexity of Derivation in Propositional Calculus - Tseitin1983\_Chapter\_OnTheComplexityOfDerivationInP - a - q.pdf},
    ISBN = {978-3-642-81955-1},
    Pages = {466--483},
    Publisher = {Springer Berlin Heidelberg},
    Title = {On the Complexity of Derivation in Propositional Calculus},
    URL = {https://doi.org/10.1007/978-3-642-81955-1\_28},
    Year = {1983},
    bdsk-url-1 = {https://doi.org/10.1007/978-3-642-81955-1\_28},
    date-added = {2020-02-24 09:06:18 +0100},
    date-modified = {2020-02-24 09:06:18 +0100},
    file-2 = {On the Complexity of Derivation in Propositional Calculus - Tseitin70 - a - q.pdf},
    doi = {10.1007/978-3-642-81955-1_28}
}

@inbook{Tseitin1983, Abstract = {The question of the minimum complexity of derivation of a given formula in classical propositional calculus is considered in this article and it is proved that estimates of complexity may vary considerably among the various forms of propositional calculus. The forms of propositional calculus used in the present article are somewhat unusual, {\textdagger} but the results obtained for them can, in principle, be extended to the usual forms of propositional calculus.}, Address = {Berlin, Heidelberg}, Author = {Tseitin, G. S.}, BookTitle = {Automation of Reasoning: 2: Classical Papers on Computational Logic 1967--1970}, Editor = {Siekmann, J{\"o}rg H. and Wrightson, Graham}, File = {On the Complexity of Derivation in Propositional Calculus - Tseitin1983_Chapter_OnTheComplexityOfDerivationInP - a - q.pdf}, ISBN = {978-3-642-81955-1}, Pages = {466--483}, Publisher = {Springer Berlin Heidelberg}, Title = {On the Complexity of Derivation in Propositional Calculus}, URL = {https://doi.org/10.1007/978-3-642-81955-1_28}, Year = {1983}, bdsk-url-1 = {https://doi.org/10.1007/978-3-642-81955-1_28}, date-added = {2020-02-24 09:06:18 +0100}, date-modified = {2020-02-24 09:06:18 +0100}, file-2 = {On the Complexity of Derivation in Propositional Calculus - Tseitin70 - a - q.pdf}, doi = {10.1007/978-3-642-81955-1_28} }