@misc{indiciaedcff0f870ce3,
  title = {Relational Hypersequent S4 and B are Cut-Free Hypersequent Incomplete},
  author = {Kai Tanter},
  year = {2021},
  url = {https://arxiv.org/abs/2108.12095},
  note = {Source identifier: 2108.12095}
}