Moreno Socias, G. “Length of Polynomial Ascending Chains and Primitive Recursiveness”. MATHEMATICA SCANDINAVICA, vol. 71, June 1992, pp. 181-05, doi:10.7146/math.scand.a-12421.