TY  - RPRT
TI  - Expansion Trees with Cut
AU  - Stefan Hetzl
AU  - Daniel Weller
PY  - 2013
UR  - https://arxiv.org/abs/1308.0428
ID  - 1308.0428
ER  -