@article{ dblp4153897,
  title = {The Solvability of the Derivability Problem for One-Normal Systems},
  author = {Stephen A. Cook},
  author_short = {Cook, S. A.},
  bibtype = {article},
  type = {article},
  year = {1966},
  key = {dblp4153897},
  id = {dblp4153897},
  biburl = {http://www.dblp.org/rec/bibtex/journals/jacm/Cook66},
  url = {http://doi.acm.org/10.1145/321328.321333},
  journal = {J. ACM (JACM)},
  pages = {223-225},
  number = {2},
  volume = {13},
  text = {J. ACM (JACM) 13(2):223-225 (1966)}
}

{"_id":{"_str":"53ecdb0b361ffffd45001e8b"},"__v":0,"authorIDs":[],"author_short":["Cook, S. A."],"bibbaseid":"cook-thesolvabilityofthederivabilityproblemforonenormalsystems-1966","bibdata":{"downloads":0,"urls":{"Paper":"http://doi.acm.org/10.1145/321328.321333"},"role":"author","bibbaseid":"cook-thesolvabilityofthederivabilityproblemforonenormalsystems-1966","bibtex":"@article{ dblp4153897,\n title = {The Solvability of the Derivability Problem for One-Normal Systems},\n author = {Stephen A. Cook},\n author_short = {Cook, S. A.},\n bibtype = {article},\n type = {article},\n year = {1966},\n key = {dblp4153897},\n id = {dblp4153897},\n biburl = {http://www.dblp.org/rec/bibtex/journals/jacm/Cook66},\n url = {http://doi.acm.org/10.1145/321328.321333},\n journal = {J. ACM (JACM)},\n pages = {223-225},\n number = {2},\n volume = {13},\n text = {J. ACM (JACM) 13(2):223-225 (1966)}\n}","text":"J. ACM (JACM) 13(2):223-225 (1966)","volume":"13","number":"2","pages":"223-225","journal":"J. ACM (JACM)","url":"http://doi.acm.org/10.1145/321328.321333","biburl":"http://www.dblp.org/rec/bibtex/journals/jacm/Cook66","id":"dblp4153897","key":"dblp4153897","year":"1966","type":"article","bibtype":"article","author_short":["Cook, S. A."],"author":["Stephen A. Cook"],"title":"The Solvability of the Derivability Problem for One-Normal Systems"},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/jacm/Cook66","creationDate":"2014-08-14T15:51:39.466Z","downloads":0,"keywords":[],"search_terms":["solvability","derivability","problem","one","normal","systems","cook"],"title":"The Solvability of the Derivability Problem for One-Normal Systems","year":1966,"dataSources":["RvdKPacX8ckXJ8KCe"]}