TY  - RPRT
TI  - Fast Cut-Elimination using Proof Terms: An Empirical Study
AU  - Gabriel Ebner
PY  - 2018
DO  - 10.4204/eptcs.281.3
UR  - https://arxiv.org/abs/1810.07373
ID  - 1810.07373
ER  -