Moreno Socias G. Length of Polynomial Ascending Chains and Primitive Recursiveness. Math. Scand. [Internet]. 1992 Jun. 1 [cited 2026 Jul. 24];71:181-205. Available from: https://journals.msp.org/mscand/article/view/1228