@article{ dblp2943504,
  title = {The strength of replacement in weak arithmetic},
  author = {Stephen A. Cook and Neil Thapen},
  author_short = {Cook, S. A. and Thapen, N.},
  bibtype = {article},
  type = {article},
  year = {2006},
  key = {dblp2943504},
  id = {dblp2943504},
  biburl = {http://www.dblp.org/rec/bibtex/journals/tocl/CookT06},
  url = {http://doi.acm.org/10.1145/1183278.1183283},
  journal = {ACM Trans. Comput. Log. (TOCL)},
  pages = {749-764},
  number = {4},
  volume = {7},
  text = {ACM Trans. Comput. Log. (TOCL) 7(4):749-764 (2006)}
}

{"_id":{"_str":"53ecdb0b361ffffd45001e38"},"__v":0,"authorIDs":[],"author_short":["Cook, S. A.","Thapen, N."],"bibbaseid":"cook-thapen-thestrengthofreplacementinweakarithmetic-2006","bibdata":{"downloads":0,"urls":{"Paper":"http://doi.acm.org/10.1145/1183278.1183283"},"role":"author","bibbaseid":"cook-thapen-thestrengthofreplacementinweakarithmetic-2006","bibtex":"@article{ dblp2943504,\n title = {The strength of replacement in weak arithmetic},\n author = {Stephen A. Cook and Neil Thapen},\n author_short = {Cook, S. A. and Thapen, N.},\n bibtype = {article},\n type = {article},\n year = {2006},\n key = {dblp2943504},\n id = {dblp2943504},\n biburl = {http://www.dblp.org/rec/bibtex/journals/tocl/CookT06},\n url = {http://doi.acm.org/10.1145/1183278.1183283},\n journal = {ACM Trans. Comput. Log. (TOCL)},\n pages = {749-764},\n number = {4},\n volume = {7},\n text = {ACM Trans. Comput. Log. (TOCL) 7(4):749-764 (2006)}\n}","text":"ACM Trans. Comput. Log. (TOCL) 7(4):749-764 (2006)","volume":"7","number":"4","pages":"749-764","journal":"ACM Trans. Comput. Log. (TOCL)","url":"http://doi.acm.org/10.1145/1183278.1183283","biburl":"http://www.dblp.org/rec/bibtex/journals/tocl/CookT06","id":"dblp2943504","key":"dblp2943504","year":"2006","type":"article","bibtype":"article","author_short":["Cook, S. A.","Thapen, N."],"author":["Stephen A. Cook","Neil Thapen"],"title":"The strength of replacement in weak arithmetic"},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/tocl/CookT06","creationDate":"2014-08-14T15:51:39.229Z","downloads":0,"keywords":[],"search_terms":["strength","replacement","weak","arithmetic","cook","thapen"],"title":"The strength of replacement in weak arithmetic","year":2006,"dataSources":["Nr6dbjtM3oj28oJLC"]}