TY  - RPRT
TI  - Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi
AU  - Richard Zach
PY  - 2021
DO  - 10.1017/s1755020320000015
UR  - https://arxiv.org/abs/2001.00662
ID  - 2001.00662
ER  -