by Alexander Leitsch, Michael Peter Lettmann
Reference:
The problem of Pi2-cut-introductionAlexander Leitsch, Michael Peter LettmannTheor. Comput. Sci., volume 706, pages 83–116, 2018.
Bibtex Entry:
@article{DBLP:journals/tcs/LeitschL18,
author = {Alexander Leitsch and
Michael Peter Lettmann},
title = {The problem of Pi2-cut-introduction},
journal = {Theor. Comput. Sci.},
volume = {706},
pages = {83--116},
year = {2018},
url = {https://arxiv.org/abs/1611.08208},
doi = {10.1016/j.tcs.2017.10.003},
timestamp = {Fri, 24 Nov 2017 15:07:35 +0100},
biburl = {https://dblp.org/rec/bib/journals/tcs/LeitschL18},
bibsource = {dblp computer science bibliography, https://dblp.org}
}