@misc{indiciae3079b9f61f3e,
  title = {Interpolation for the two-way modal mu-calculus},
  author = {Johannes Kloibhofer and Yde Venema},
  year = {2025},
  url = {https://arxiv.org/abs/2505.12899},
  note = {Source identifier: 2505.12899}
}