TY  - RPRT
TI  - Inducing syntactic cut-elimination for indexed nested sequents
AU  - Revantha Ramanayake
PY  - 2018
DO  - 10.23638/lmcs-14(4:18)2018
UR  - https://arxiv.org/abs/1703.01356
ID  - 1703.01356
ER  -