@misc{R53,
  doi =		 {10.48550/ARXIV.1207.6685},
  OPTurl =		 {https://arxiv.org/abs/1207.6685},
  author =	 {Benzm{\"u}ller, Christoph and Raths, Thomas},
  title =	 {FMLtoHOL (version 1.0): Automating First-order Modal
                  Logics with LEO-II and Friends},
  publisher =	 {arXiv},
  note =         {Preprint},
  year =	 2012,
  copyright =	 {arXiv.org perpetual, non-exclusive license}
}

{"_id":"DotwZFH4nM6JQBDfB","bibbaseid":"benzmller-raths-fmltoholversion10automatingfirstordermodallogicswithleoiiandfriends-2012","author_short":["Benzmüller, C.","Raths, T."],"bibdata":{"bibtype":"misc","type":"misc","doi":"10.48550/ARXIV.1207.6685","opturl":"https://arxiv.org/abs/1207.6685","author":[{"propositions":[],"lastnames":["Benzmüller"],"firstnames":["Christoph"],"suffixes":[]},{"propositions":[],"lastnames":["Raths"],"firstnames":["Thomas"],"suffixes":[]}],"title":"FMLtoHOL (version 1.0): Automating First-order Modal Logics with LEO-II and Friends","publisher":"arXiv","note":"Preprint","year":"2012","copyright":"arXiv.org perpetual, non-exclusive license","bibtex":"@misc{R53,\n doi =\t\t {10.48550/ARXIV.1207.6685},\n OPTurl =\t\t {https://arxiv.org/abs/1207.6685},\n author =\t {Benzm{\\\"u}ller, Christoph and Raths, Thomas},\n title =\t {FMLtoHOL (version 1.0): Automating First-order Modal\n Logics with LEO-II and Friends},\n publisher =\t {arXiv},\n note = {Preprint},\n year =\t 2012,\n copyright =\t {arXiv.org perpetual, non-exclusive license}\n}\n\n","author_short":["Benzmüller, C.","Raths, T."],"key":"R53","id":"R53","bibbaseid":"benzmller-raths-fmltoholversion10automatingfirstordermodallogicswithleoiiandfriends-2012","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"misc","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":[],"search_terms":["fmltohol","version","automating","first","order","modal","logics","leo","friends","benzmüller","raths"],"title":"FMLtoHOL (version 1.0): Automating First-order Modal Logics with LEO-II and Friends","year":2012}