@article{ dblp4147547,
  title = {Characterizations of Pushdown Machines in Terms of Time-Bounded Computers},
  author = {Stephen A. Cook},
  author_short = {Cook, S. A.},
  bibtype = {article},
  type = {article},
  year = {1971},
  key = {dblp4147547},
  id = {dblp4147547},
  biburl = {http://www.dblp.org/rec/bibtex/journals/jacm/Cook71},
  url = {http://doi.acm.org/10.1145/321623.321625},
  journal = {J. ACM (JACM)},
  pages = {4-18},
  number = {1},
  volume = {18},
  text = {J. ACM (JACM) 18(1):4-18 (1971)}
}

{"_id":{"_str":"53ecdb0b361ffffd45001e87"},"__v":0,"authorIDs":[],"author_short":["Cook, S. A."],"bibbaseid":"cook-characterizationsofpushdownmachinesintermsoftimeboundedcomputers-1971","bibdata":{"downloads":0,"urls":{"Paper":"http://doi.acm.org/10.1145/321623.321625"},"role":"author","bibbaseid":"cook-characterizationsofpushdownmachinesintermsoftimeboundedcomputers-1971","bibtex":"@article{ dblp4147547,\n title = {Characterizations of Pushdown Machines in Terms of Time-Bounded Computers},\n author = {Stephen A. Cook},\n author_short = {Cook, S. A.},\n bibtype = {article},\n type = {article},\n year = {1971},\n key = {dblp4147547},\n id = {dblp4147547},\n biburl = {http://www.dblp.org/rec/bibtex/journals/jacm/Cook71},\n url = {http://doi.acm.org/10.1145/321623.321625},\n journal = {J. ACM (JACM)},\n pages = {4-18},\n number = {1},\n volume = {18},\n text = {J. ACM (JACM) 18(1):4-18 (1971)}\n}","text":"J. ACM (JACM) 18(1):4-18 (1971)","volume":"18","number":"1","pages":"4-18","journal":"J. ACM (JACM)","url":"http://doi.acm.org/10.1145/321623.321625","biburl":"http://www.dblp.org/rec/bibtex/journals/jacm/Cook71","id":"dblp4147547","key":"dblp4147547","year":"1971","type":"article","bibtype":"article","author_short":["Cook, S. A."],"author":["Stephen A. Cook"],"title":"Characterizations of Pushdown Machines in Terms of Time-Bounded Computers"},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/jacm/Cook71","creationDate":"2014-08-14T15:51:39.464Z","downloads":0,"keywords":[],"search_terms":["characterizations","pushdown","machines","terms","time","bounded","computers","cook"],"title":"Characterizations of Pushdown Machines in Terms of Time-Bounded Computers","year":1971,"dataSources":["6H8mcrS9GBo2zCGnz"]}