@inproceedings{ dblp1581583,
  title = {Theories for Subexponential-size Bounded-depth Frege Proofs},
  author = {Kaveh Ghasemloo and Stephen A. Cook},
  author_short = {Ghasemloo, K. and Cook, S. A.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2013},
  key = {dblp1581583},
  id = {dblp1581583},
  biburl = {http://www.dblp.org/rec/bibtex/conf/csl/GhasemlooC13},
  url = {http://dx.doi.org/10.4230/LIPIcs.CSL.2013.296},
  conference = {CSL},
  pages = {296-315},
  text = {CSL 2013:296-315},
  booktitle = {Proceedings of Computer Science Logic (CSL)}
}

{"_id":{"_str":"53ecdb0b361ffffd45001e1f"},"__v":0,"authorIDs":[],"author_short":["Ghasemloo, K.","Cook, S. A."],"bibbaseid":"ghasemloo-cook-theoriesforsubexponentialsizeboundeddepthfregeproofs-2013","bibdata":{"downloads":0,"urls":{"Paper":"http://dx.doi.org/10.4230/LIPIcs.CSL.2013.296"},"role":"author","bibbaseid":"ghasemloo-cook-theoriesforsubexponentialsizeboundeddepthfregeproofs-2013","bibtex":"@inproceedings{ dblp1581583,\n title = {Theories for Subexponential-size Bounded-depth Frege Proofs},\n author = {Kaveh Ghasemloo and Stephen A. Cook},\n author_short = {Ghasemloo, K. and Cook, S. A.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2013},\n key = {dblp1581583},\n id = {dblp1581583},\n biburl = {http://www.dblp.org/rec/bibtex/conf/csl/GhasemlooC13},\n url = {http://dx.doi.org/10.4230/LIPIcs.CSL.2013.296},\n conference = {CSL},\n pages = {296-315},\n text = {CSL 2013:296-315},\n booktitle = {Proceedings of Computer Science Logic (CSL)}\n}","booktitle":"Proceedings of Computer Science Logic (CSL)","text":"CSL 2013:296-315","pages":"296-315","conference":"CSL","url":"http://dx.doi.org/10.4230/LIPIcs.CSL.2013.296","biburl":"http://www.dblp.org/rec/bibtex/conf/csl/GhasemlooC13","id":"dblp1581583","key":"dblp1581583","year":"2013","type":"inproceedings","bibtype":"inproceedings","author_short":["Ghasemloo, K.","Cook, S. A."],"author":["Kaveh Ghasemloo","Stephen A. Cook"],"title":"Theories for Subexponential-size Bounded-depth Frege Proofs"},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/csl/GhasemlooC13","creationDate":"2014-08-14T15:51:39.213Z","downloads":0,"keywords":[],"search_terms":["theories","subexponential","size","bounded","depth","frege","proofs","ghasemloo","cook"],"title":"Theories for Subexponential-size Bounded-depth Frege Proofs","year":2013,"dataSources":["ePJT4NCKGH4W6JqQF"]}