@misc{indiciaeb38c6c43d2ed,
  title = {Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi},
  author = {Richard Zach},
  year = {2021},
  doi = {10.1017/s1755020320000015},
  url = {https://arxiv.org/abs/2001.00662},
  note = {Source identifier: 2001.00662}
}