@article{ journals/jsyml/HatcherH81,
  added-at = {2014-08-05T00:00:00.000+0200},
  author = {Hatcher, William S. and Hodgson, Bernard R.},
  biburl = {http://www.bibsonomy.org/bibtex/28bff3e7228f4425f0fb4f54c93a5c697/dblp},
  ee = {http://projecteuclid.org/euclid.jsl/1183740774},
  interhash = {10cd1082a237e960c7251b8f0caf1e3d},
  intrahash = {8bff3e7228f4425f0fb4f54c93a5c697},
  journal = {J. Symb. Log.},
  keywords = {dblp},
  number = {2},
  pages = {255-258},
  title = {Complexity Bounds on Proofs.},
  url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml46.html#HatcherH81},
  volume = {46},
  year = {1981}
}

{"_id":"6L7dFTJi3iL7n5XHg","bibbaseid":"hatcher-hodgson-complexityboundsonproofs-1981","downloads":0,"creationDate":"2015-05-07T12:05:14.830Z","title":"Complexity Bounds on Proofs.","author_short":["Hatcher, W.<nbsp>S.","Hodgson, B.<nbsp>R."],"year":1981,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/bernard?items=1000","bibdata":{"added-at":"2014-08-05T00:00:00.000+0200","author":["Hatcher, William S.","Hodgson, Bernard R."],"author_short":["Hatcher, W.<nbsp>S.","Hodgson, B.<nbsp>R."],"bibtex":"@article{ journals/jsyml/HatcherH81,\n added-at = {2014-08-05T00:00:00.000+0200},\n author = {Hatcher, William S. and Hodgson, Bernard R.},\n biburl = {http://www.bibsonomy.org/bibtex/28bff3e7228f4425f0fb4f54c93a5c697/dblp},\n ee = {http://projecteuclid.org/euclid.jsl/1183740774},\n interhash = {10cd1082a237e960c7251b8f0caf1e3d},\n intrahash = {8bff3e7228f4425f0fb4f54c93a5c697},\n journal = {J. Symb. Log.},\n keywords = {dblp},\n number = {2},\n pages = {255-258},\n title = {Complexity Bounds on Proofs.},\n url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml46.html#HatcherH81},\n volume = {46},\n year = {1981}\n}","bibtype":"article","biburl":"http://www.bibsonomy.org/bibtex/28bff3e7228f4425f0fb4f54c93a5c697/dblp","ee":"http://projecteuclid.org/euclid.jsl/1183740774","id":"journals/jsyml/HatcherH81","interhash":"10cd1082a237e960c7251b8f0caf1e3d","intrahash":"8bff3e7228f4425f0fb4f54c93a5c697","journal":"J. Symb. Log.","key":"journals/jsyml/HatcherH81","keywords":"dblp","number":"2","pages":"255-258","title":"Complexity Bounds on Proofs.","type":"article","url":"http://dblp.uni-trier.de/db/journals/jsyml/jsyml46.html#HatcherH81","volume":"46","year":"1981","bibbaseid":"hatcher-hodgson-complexityboundsonproofs-1981","role":"author","urls":{"Link":"http://projecteuclid.org/euclid.jsl/1183740774","Paper":"http://dblp.uni-trier.de/db/journals/jsyml/jsyml46.html#HatcherH81"},"keyword":["dblp"],"downloads":0},"search_terms":["complexity","bounds","proofs","hatcher","hodgson"],"keywords":["dblp"],"authorIDs":[],"dataSources":["wvAhRjakvxMweG8ZA"]}