@misc{indiciae2d3513a41f96,
  title = {Expansion Trees with Cut},
  author = {Federico Aschieri and Stefan Hetzl and Daniel Weller},
  year = {2018},
  doi = {10.1017/s0960129519000069},
  url = {https://arxiv.org/abs/1802.08076},
  note = {Source identifier: 1802.08076}
}