@misc{indiciaefbe496940156,
  title = {A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Buchi Register Automata},
  author = {Yoshiaki Takata and Akira Onishi and Ryoma Senda and Hiroyuki Seki},
  year = {2024},
  url = {https://arxiv.org/abs/2406.11351},
  note = {Source identifier: 2406.11351}
}