Christian Urban, Gavin M. Bierman. Strong Normalisation of Cut-Elimination in Classical Logic. Fundamenta Informaticae, 45(1-2):123-155, 2001.
@article{UrbanB01, title = {Strong Normalisation of Cut-Elimination in Classical Logic}, author = {Christian Urban and Gavin M. Bierman}, year = {2001}, tags = {logic}, researchr = {https://researchr.org/publication/UrbanB01}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {45}, number = {1-2}, pages = {123-155}, }