@article{ Frisch/94/Workshop,
  author = {Alan M. Frisch},
  title = {Workshop Report on "Automated Reasoning: Bridging the Gap Between Theory and Practice''},
  journal = {AISB Quaterly},
  month = {Summer},
  pages = {47--49},
  number = {88},
  year = {1994}
}

{"_id":{"_str":"5203867ed40bcbb041000eb0"},"__v":9,"authorIDs":["5456e8af8b01c81930000051"],"author_short":["Frisch, A.<nbsp>M."],"bibbaseid":"frisch-workshopreportonautomatedreasoningbridgingthegapbetweentheoryandpractice3939-1994","bibdata":{"author":["Frisch, Alan M."],"author_short":["Frisch, A.<nbsp>M."],"bibtex":"@article{ Frisch/94/Workshop,\n author = {Alan M. Frisch},\n title = {Workshop Report on \"Automated Reasoning: Bridging the Gap Between Theory and Practice&#39;&#39;},\n journal = {AISB Quaterly},\n month = {Summer},\n pages = {47--49},\n number = {88},\n year = {1994}\n}","bibtype":"article","id":"Frisch/94/Workshop","journal":"AISB Quaterly","key":"Frisch/94/Workshop","month":"Summer","number":"88","pages":"47--49","title":"Workshop Report on \"Automated Reasoning: Bridging the Gap Between Theory and Practice&#39;&#39;","type":"article","year":"1994","bibbaseid":"frisch-workshopreportonautomatedreasoningbridgingthegapbetweentheoryandpractice3939-1994","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"http://data.bibbase.org/author/alan-m-frisch/?format=bibtex","downloads":0,"keywords":[],"search_terms":["workshop","report","automated","reasoning","bridging","gap","between","theory","practice","frisch"],"title":"Workshop Report on \"Automated Reasoning: Bridging the Gap Between Theory and Practice&#39;&#39;","title_words":["workshop","report","automated","reasoning","bridging","gap","between","theory","practice"],"year":1994,"dataSources":["jQ9mqaWfZRivmkPSw"]}