@article{ dblp3236506,
  title = {The proof complexity of linear algebra},
  author = {Michael Soltys and Stephen A. Cook},
  author_short = {Soltys, M. and Cook, S. A.},
  bibtype = {article},
  type = {article},
  year = {2004},
  key = {dblp3236506},
  id = {dblp3236506},
  biburl = {http://www.dblp.org/rec/bibtex/journals/apal/SoltysC04},
  url = {http://dx.doi.org/10.1016/j.apal.2003.10.018},
  journal = {Ann. Pure Appl. Logic (APAL)},
  pages = {277-323},
  number = {1-3},
  volume = {130},
  text = {Ann. Pure Appl. Logic (APAL) 130(1-3):277-323 (2004)}
}

{"_id":{"_str":"53ecdb0b361ffffd45001e3e"},"__v":0,"authorIDs":[],"author_short":["Soltys, M.","Cook, S. A."],"bibbaseid":"soltys-cook-theproofcomplexityoflinearalgebra-2004","bibdata":{"downloads":0,"urls":{"Paper":"http://dx.doi.org/10.1016/j.apal.2003.10.018"},"role":"author","bibbaseid":"soltys-cook-theproofcomplexityoflinearalgebra-2004","bibtex":"@article{ dblp3236506,\n title = {The proof complexity of linear algebra},\n author = {Michael Soltys and Stephen A. Cook},\n author_short = {Soltys, M. and Cook, S. A.},\n bibtype = {article},\n type = {article},\n year = {2004},\n key = {dblp3236506},\n id = {dblp3236506},\n biburl = {http://www.dblp.org/rec/bibtex/journals/apal/SoltysC04},\n url = {http://dx.doi.org/10.1016/j.apal.2003.10.018},\n journal = {Ann. Pure Appl. Logic (APAL)},\n pages = {277-323},\n number = {1-3},\n volume = {130},\n text = {Ann. Pure Appl. Logic (APAL) 130(1-3):277-323 (2004)}\n}","text":"Ann. Pure Appl. Logic (APAL) 130(1-3):277-323 (2004)","volume":"130","number":"1-3","pages":"277-323","journal":"Ann. Pure Appl. Logic (APAL)","url":"http://dx.doi.org/10.1016/j.apal.2003.10.018","biburl":"http://www.dblp.org/rec/bibtex/journals/apal/SoltysC04","id":"dblp3236506","key":"dblp3236506","year":"2004","type":"article","bibtype":"article","author_short":["Soltys, M.","Cook, S. A."],"author":["Michael Soltys","Stephen A. Cook"],"title":"The proof complexity of linear algebra"},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/apal/SoltysC04","creationDate":"2014-08-14T15:51:39.232Z","downloads":0,"keywords":[],"search_terms":["proof","complexity","linear","algebra","soltys","cook"],"title":"The proof complexity of linear algebra","year":2004,"dataSources":["TS58cMkDd7W3HFoZc"]}