Moreno Socias, Guillermo. “Length of Polynomial Ascending Chains and Primitive Recursiveness”. MATHEMATICA SCANDINAVICA 71 (June 1, 1992): 181–205. Accessed November 23, 2024. https://www.mscand.dk/article/view/12421.