TY  - RPRT
TI  - The problem of Pi_2-cut-introduction
AU  - Alexander Leitsch
AU  - Michael Peter Lettmann
PY  - 2018
DO  - 10.1016/j.tcs.2017.10.003
UR  - https://arxiv.org/abs/1611.08208
ID  - 1611.08208
ER  -