Annika Siders. Gentzen's consistency proof without heightlines. Arch. Math. Log., 52(3-4):449-468, 2013. [doi]
@article{Siders13, title = {Gentzen's consistency proof without heightlines}, author = {Annika Siders}, year = {2013}, doi = {10.1007/s00153-013-0324-0}, url = {http://dx.doi.org/10.1007/s00153-013-0324-0}, researchr = {https://researchr.org/publication/Siders13}, cites = {0}, citedby = {0}, journal = {Arch. Math. Log.}, volume = {52}, number = {3-4}, pages = {449-468}, }