@misc{indiciae469aefe9058d,
  title = {Uniform interpolation via nested sequents and hypersequents},
  author = {Iris van der Giessen and Raheleh Jalali and Roman Kuznets},
  year = {2021},
  doi = {10.1007/978-3-030-88853-4\_21},
  url = {https://arxiv.org/abs/2105.10930},
  note = {Source identifier: 2105.10930}
}