Moreno Socias, G. 1992. Length of Polynomial Ascending Chains and Primitive Recursiveness. MATHEMATICA SCANDINAVICA. 71, (Jun. 1992), 181–205. DOI:https://doi.org/10.7146/math.scand.a-12421.