Andreas Weiermann. A proof of strongly uniform termination for Gödel s ::::T::::T by methods from local predicativity. Arch. Math. Log., 36(6):445-460, 1997. [doi]
@article{Weiermann97, title = {A proof of strongly uniform termination for Gödel s ::::T::::T by methods from local predicativity}, author = {Andreas Weiermann}, year = {1997}, doi = {10.1007/s001530050075}, url = {http://dx.doi.org/10.1007/s001530050075}, tags = {termination}, researchr = {https://researchr.org/publication/Weiermann97}, cites = {0}, citedby = {0}, journal = {Arch. Math. Log.}, volume = {36}, number = {6}, pages = {445-460}, }