Moreno Socias, Guillermo. “Length of Polynomial Ascending Chains and Primitive Recursiveness”. Mathematica Scandinavica 71 (June 1, 1992): 181–205. Accessed September 8, 2026. https://journals.msp.org/mscand/article/view/1228.