@misc{indiciaea99d35c738ff,
  title = {Solving Quantified Modal Logic Problems by Translation to Classical Logics},
  author = {Alexander Steen and Geoff Sutcliffe and Christoph Benzmüller},
  year = {2024},
  doi = {10.1093/logcom/exaf006},
  url = {https://arxiv.org/abs/2212.09570},
  note = {Source identifier: 2212.09570}
}