@inproceedings{DBLP:conf/birthday/SchmidtH13,
  author       = {Renate A. Schmidt and
                  Ullrich Hustadt},
  editor       = {Andrei Voronkov and
                  Christoph Weidenbach},
  title        = {First-Order Resolution Methods for Modal Logics},
  booktitle    = {Programming Logics - Essays in Memory of Harald Ganzinger},
  series       = {Lecture Notes in Computer Science},
  volume       = {7797},
  pages        = {345--391},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-37651-1\_15},
  doi          = {10.1007/978-3-642-37651-1\_15},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/SchmidtH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"xrrpPxuaucycwYRtk","bibbaseid":"schmidt-hustadt-firstorderresolutionmethodsformodallogics-2013","author_short":["Schmidt, R. A.","Hustadt, U."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Renate","A."],"propositions":[],"lastnames":["Schmidt"],"suffixes":[]},{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]}],"editor":[{"firstnames":["Andrei"],"propositions":[],"lastnames":["Voronkov"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Weidenbach"],"suffixes":[]}],"title":"First-Order Resolution Methods for Modal Logics","booktitle":"Programming Logics - Essays in Memory of Harald Ganzinger","series":"Lecture Notes in Computer Science","volume":"7797","pages":"345–391","publisher":"Springer","year":"2013","url":"https://doi.org/10.1007/978-3-642-37651-1\\_15","doi":"10.1007/978-3-642-37651-1_15","timestamp":"Wed, 25 Sep 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/birthday/SchmidtH13.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/birthday/SchmidtH13,\n author = {Renate A. Schmidt and\n Ullrich Hustadt},\n editor = {Andrei Voronkov and\n Christoph Weidenbach},\n title = {First-Order Resolution Methods for Modal Logics},\n booktitle = {Programming Logics - Essays in Memory of Harald Ganzinger},\n series = {Lecture Notes in Computer Science},\n volume = {7797},\n pages = {345--391},\n publisher = {Springer},\n year = {2013},\n url = {https://doi.org/10.1007/978-3-642-37651-1\\_15},\n doi = {10.1007/978-3-642-37651-1\\_15},\n timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/birthday/SchmidtH13.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Schmidt, R. A.","Hustadt, U."],"editor_short":["Voronkov, A.","Weidenbach, C."],"key":"DBLP:conf/birthday/SchmidtH13","id":"DBLP:conf/birthday/SchmidtH13","bibbaseid":"schmidt-hustadt-firstorderresolutionmethodsformodallogics-2013","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-37651-1\\_15"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"],"keywords":[],"search_terms":["first","order","resolution","methods","modal","logics","schmidt","hustadt"],"title":"First-Order Resolution Methods for Modal Logics","year":2013}