@misc{indiciae0d19e8a632aa,
  title = {Focus-style proofs for the two-way alternation-free \$μ\$-calculus},
  author = {Jan Rooduijn and Yde Venema},
  year = {2023},
  url = {https://arxiv.org/abs/2307.01773},
  note = {Source identifier: 2307.01773}
}