@misc{indiciae4757af4d1eef,
  title = {Extensions of K5: Proof Theory and Uniform Lyndon Interpolation},
  author = {Iris van der Giessen and Raheleh Jalali and Roman Kuznets},
  year = {2023},
  doi = {10.1007/978-3-031-43513-3\_15},
  url = {https://arxiv.org/abs/2307.11727},
  note = {Source identifier: 2307.11727}
}