@InProceedings{Tse83,
    Author       = "Tseitin, G.S.",
    Year         = "1983",
    Title        = "{On the Complexity of Derivations in Propositional
                    Calculus}",
    Editor       = "Siekmann, J. and Wrightson, G.",
    BookTitle    = "{The Automation of Reasoning}",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPRef"
}