@misc{indiciae71f7d6b6e3eb,
  title = {Proof Systems for the Modal \$μ\$-Calculus Obtained by Determinizing Automata},
  author = {Maurice Dekker and Johannes Kloibhofer and Johannes Marti and Yde Venema},
  year = {2023},
  url = {https://arxiv.org/abs/2307.06897},
  note = {Source identifier: 2307.06897}
}