@misc{indiciae942e12874501,
  title = {Solving First-Order Fixed-Point Logics via a Least-to-Greatest Transformation Based on Game Semantics},
  author = {Satoshi Kura and Hiroshi Unno},
  year = {2026},
  url = {https://arxiv.org/abs/2607.10650},
  note = {Source identifier: 2607.10650}
}