@misc{indiciae7af66c816563,
  title = {FMLtoHOL (version 1.0): Automating First-order Modal Logics with LEO-II and Friends},
  author = {Christoph Benzmueller and Thomas Raths},
  year = {2012},
  url = {https://arxiv.org/abs/1207.6685},
  note = {Source identifier: 1207.6685}
}