@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)}
}

{"_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"]}