@article{ dblp4018527,
  title = {A Feasibly Constructive Lower Bound for Resolution Proofs},
  author = {Stephen A. Cook and Toniann Pitassi},
  author_short = {Cook, S. A. and Pitassi, T.},
  bibtype = {article},
  type = {article},
  year = {1990},
  key = {dblp4018527},
  id = {dblp4018527},
  biburl = {http://www.dblp.org/rec/bibtex/journals/ipl/CookP90},
  url = {http://dx.doi.org/10.1016/0020-0190(90)90141-J},
  journal = {Inf. Process. Lett. (IPL)},
  pages = {81-85},
  number = {2},
  volume = {34},
  text = {Inf. Process. Lett. (IPL) 34(2):81-85 (1990)}
}

{"_id":{"_str":"53ecdb0b361ffffd45001e5a"},"__v":0,"authorIDs":[],"author_short":["Cook, S. A.","Pitassi, T."],"bibbaseid":"cook-pitassi-afeasiblyconstructivelowerboundforresolutionproofs-1990","bibdata":{"downloads":0,"urls":{"Paper":"http://dx.doi.org/10.1016/0020-0190(90)90141-J"},"role":"author","bibbaseid":"cook-pitassi-afeasiblyconstructivelowerboundforresolutionproofs-1990","bibtex":"@article{ dblp4018527,\n title = {A Feasibly Constructive Lower Bound for Resolution Proofs},\n author = {Stephen A. Cook and Toniann Pitassi},\n author_short = {Cook, S. A. and Pitassi, T.},\n bibtype = {article},\n type = {article},\n year = {1990},\n key = {dblp4018527},\n id = {dblp4018527},\n biburl = {http://www.dblp.org/rec/bibtex/journals/ipl/CookP90},\n url = {http://dx.doi.org/10.1016/0020-0190(90)90141-J},\n journal = {Inf. Process. Lett. (IPL)},\n pages = {81-85},\n number = {2},\n volume = {34},\n text = {Inf. Process. Lett. (IPL) 34(2):81-85 (1990)}\n}","text":"Inf. Process. Lett. (IPL) 34(2):81-85 (1990)","volume":"34","number":"2","pages":"81-85","journal":"Inf. Process. Lett. (IPL)","url":"http://dx.doi.org/10.1016/0020-0190(90)90141-J","biburl":"http://www.dblp.org/rec/bibtex/journals/ipl/CookP90","id":"dblp4018527","key":"dblp4018527","year":"1990","type":"article","bibtype":"article","author_short":["Cook, S. A.","Pitassi, T."],"author":["Stephen A. Cook","Toniann Pitassi"],"title":"A Feasibly Constructive Lower Bound for Resolution Proofs"},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/ipl/CookP90","creationDate":"2014-08-14T15:51:39.273Z","downloads":0,"keywords":[],"search_terms":["feasibly","constructive","lower","bound","resolution","proofs","cook","pitassi"],"title":"A Feasibly Constructive Lower Bound for Resolution Proofs","year":1990,"dataSources":["KSCmX2sQ2jL83KSHw"]}