@ARTICLE{Koh98,
  author = {Kohlenbach, Ulrich},
  title = {Proof theory and computational analysis},
  journal = ENTCS,
  year = {1998},
  volume = {13},
  pages = {1--34},
  keywords = {bib,cca}
}

{"_id":"pGzWNY2k8pqhfW6Pu","bibbaseid":"kohlenbach-prooftheoryandcomputationalanalysis-1998","authorIDs":[],"author_short":["Kohlenbach, U."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Kohlenbach"],"firstnames":["Ulrich"],"suffixes":[]}],"title":"Proof theory and computational analysis","year":"1998","volume":"13","pages":"1–34","keywords":"bib,cca","bibtex":"@ARTICLE{Koh98,\r\n author = {Kohlenbach, Ulrich},\r\n title = {Proof theory and computational analysis},\r\n journal = ENTCS,\r\n year = {1998},\r\n volume = {13},\r\n pages = {1--34},\r\n keywords = {bib,cca}\r\n}\r\n\r\n","author_short":["Kohlenbach, U."],"key":"Koh98","id":"Koh98","bibbaseid":"kohlenbach-prooftheoryandcomputationalanalysis-1998","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.850Z","downloads":0,"keywords":["bib","cca"],"search_terms":["proof","theory","computational","analysis","kohlenbach"],"title":"Proof theory and computational analysis","year":1998,"dataSources":["t7rKiAbxugj4Agz8M"]}