TY  - RPRT
TI  - Expansion Trees with Cut
AU  - Federico Aschieri
AU  - Stefan Hetzl
AU  - Daniel Weller
PY  - 2018
DO  - 10.1017/s0960129519000069
UR  - https://arxiv.org/abs/1802.08076
ID  - 1802.08076
ER  -