@misc{indiciae14d422656448,
  title = {Mechanised uniform interpolation for modal logics K, GL, and iSL},
  author = {Hugo Férée and Iris van der Giessen and Sam van Gool and Ian Shillito},
  year = {2024},
  url = {https://arxiv.org/abs/2402.10494},
  note = {Source identifier: 2402.10494}
}