@techreport{ watson1998,
  author = {Watson, Geoffrey N},
  title = {{Proof Representations in Theorem Provers}},
  institution = {Software Verification Research Centre, The University of Queensland},
  year = {1998},
  number = {98-13},
  address = {Queensland, Australia},
  month = {September},
  keywords = {#proof_theory},
  mendeley-tags = {#CURATE_ME,#proof_theory}
}

{"_id":{"_str":"5218856caa2f288d1f00029c"},"__v":3,"authorIDs":[],"author_short":["Watson","N, G."],"bibbaseid":"watson-n-proofrepresentationsintheoremprovers-1998","bibdata":{"address":"Queensland, Australia","author":["Watson","N, Geoffrey"],"author_short":["Watson","N, G."],"bibtex":"@techreport{ watson1998,\n author = {Watson, Geoffrey N},\n title = {{Proof Representations in Theorem Provers}},\n institution = {Software Verification Research Centre, The University of Queensland},\n year = {1998},\n number = {98-13},\n address = {Queensland, Australia},\n month = {September},\n keywords = {#proof_theory},\n mendeley-tags = {#CURATE_ME,#proof_theory}\n}","bibtype":"techreport","id":"watson1998","institution":"Software Verification Research Centre, The University of Queensland","key":"watson1998","keywords":"#proof_theory","mendeley-tags":"#CURATE_ME,#proof_theory","month":"September","number":"98-13","title":"Proof Representations in Theorem Provers","type":"techreport","year":"1998","bibbaseid":"watson-n-proofrepresentationsintheoremprovers-1998","role":"author","urls":{},"keyword":["#proof_theory"],"downloads":0,"html":""},"bibtype":"techreport","biburl":"http://delicias.dia.fi.upm.es/prov-xgCURATED.bib","downloads":0,"keywords":["#proof_theory"],"search_terms":["proof","representations","theorem","provers","watson","n"],"title":"Proof Representations in Theorem Provers","title_words":["proof","representations","theorem","provers"],"year":1998,"dataSources":["drTBSwRdnSo2Wujnd"]}