G. Moreno Socias, “Length of Polynomial Ascending Chains and Primitive Recursiveness”., Math. Scand., vol. 71, pp. 181–205, Jun. 1992, doi: 10.7146/math.scand.a-12421.