@inproceedings{DBLP:conf/tableaux/HustadtS00,
  author       = {Ullrich Hustadt and
                  Renate A. Schmidt},
  editor       = {Roy Dyckhoff},
  title        = {{MSPASS:} Modal Reasoning by Translation and First-Order Resolution},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods, International
                  Conference, {TABLEAUX} 2000, St Andrews, Scotland, UK, July 3-7, 2000,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1847},
  pages        = {67--71},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722086\_7},
  doi          = {10.1007/10722086\_7},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/HustadtS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"4ct2HjPHP9PRHJkPT","bibbaseid":"hustadt-schmidt-mspassmodalreasoningbytranslationandfirstorderresolution-2000","author_short":["Hustadt, U.","Schmidt, R. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Renate","A."],"propositions":[],"lastnames":["Schmidt"],"suffixes":[]}],"editor":[{"firstnames":["Roy"],"propositions":[],"lastnames":["Dyckhoff"],"suffixes":[]}],"title":"MSPASS: Modal Reasoning by Translation and First-Order Resolution","booktitle":"Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings","series":"Lecture Notes in Computer Science","volume":"1847","pages":"67–71","publisher":"Springer","year":"2000","url":"https://doi.org/10.1007/10722086\\_7","doi":"10.1007/10722086_7","timestamp":"Wed, 25 Sep 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/tableaux/HustadtS00.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/tableaux/HustadtS00,\n author = {Ullrich Hustadt and\n Renate A. Schmidt},\n editor = {Roy Dyckhoff},\n title = {{MSPASS:} Modal Reasoning by Translation and First-Order Resolution},\n booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International\n Conference, {TABLEAUX} 2000, St Andrews, Scotland, UK, July 3-7, 2000,\n Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {1847},\n pages = {67--71},\n publisher = {Springer},\n year = {2000},\n url = {https://doi.org/10.1007/10722086\\_7},\n doi = {10.1007/10722086\\_7},\n timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/tableaux/HustadtS00.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hustadt, U.","Schmidt, R. A."],"editor_short":["Dyckhoff, R."],"key":"DBLP:conf/tableaux/HustadtS00","id":"DBLP:conf/tableaux/HustadtS00","bibbaseid":"hustadt-schmidt-mspassmodalreasoningbytranslationandfirstorderresolution-2000","role":"author","urls":{"Paper":"https://doi.org/10.1007/10722086\\_7"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"],"keywords":[],"search_terms":["mspass","modal","reasoning","translation","first","order","resolution","hustadt","schmidt"],"title":"MSPASS: Modal Reasoning by Translation and First-Order Resolution","year":2000}