The Relative Efficiency of Propositional Proof Systems. Cook, S. A. & Reckhow, R. A. J. Symb. Log. (JSYML), 44(1):36-50, 1979.
Paper bibtex @article{ dblp4123875,
title = {The Relative Efficiency of Propositional Proof Systems},
author = {Stephen A. Cook and Robert A. Reckhow},
author_short = {Cook, S. A. and Reckhow, R. A.},
bibtype = {article},
type = {article},
year = {1979},
key = {dblp4123875},
id = {dblp4123875},
biburl = {http://www.dblp.org/rec/bibtex/journals/jsyml/CookR79},
url = {http://dx.doi.org/10.2307/2273702},
journal = {J. Symb. Log. (JSYML)},
pages = {36-50},
number = {1},
volume = {44},
text = {J. Symb. Log. (JSYML) 44(1):36-50 (1979)}
}
Downloads: 0
{"_id":{"_str":"53ecdb0b361ffffd45001e75"},"__v":0,"authorIDs":[],"author_short":["Cook, S. A.","Reckhow, R. A."],"bibbaseid":"cook-reckhow-therelativeefficiencyofpropositionalproofsystems-1979","bibdata":{"downloads":0,"urls":{"Paper":"http://dx.doi.org/10.2307/2273702"},"role":"author","bibbaseid":"cook-reckhow-therelativeefficiencyofpropositionalproofsystems-1979","bibtex":"@article{ dblp4123875,\n title = {The Relative Efficiency of Propositional Proof Systems},\n author = {Stephen A. Cook and Robert A. Reckhow},\n author_short = {Cook, S. A. and Reckhow, R. A.},\n bibtype = {article},\n type = {article},\n year = {1979},\n key = {dblp4123875},\n id = {dblp4123875},\n biburl = {http://www.dblp.org/rec/bibtex/journals/jsyml/CookR79},\n url = {http://dx.doi.org/10.2307/2273702},\n journal = {J. Symb. Log. (JSYML)},\n pages = {36-50},\n number = {1},\n volume = {44},\n text = {J. Symb. Log. (JSYML) 44(1):36-50 (1979)}\n}","text":"J. Symb. Log. (JSYML) 44(1):36-50 (1979)","volume":"44","number":"1","pages":"36-50","journal":"J. Symb. Log. (JSYML)","url":"http://dx.doi.org/10.2307/2273702","biburl":"http://www.dblp.org/rec/bibtex/journals/jsyml/CookR79","id":"dblp4123875","key":"dblp4123875","year":"1979","type":"article","bibtype":"article","author_short":["Cook, S. A.","Reckhow, R. A."],"author":["Stephen A. Cook","Robert A. Reckhow"],"title":"The Relative Efficiency of Propositional Proof Systems"},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/jsyml/CookR79","creationDate":"2014-08-14T15:51:39.453Z","downloads":0,"keywords":[],"search_terms":["relative","efficiency","propositional","proof","systems","cook","reckhow"],"title":"The Relative Efficiency of Propositional Proof Systems","year":1979,"dataSources":["cXQHnKL8kDwmqWPiP"]}