Moreno Socias G. Length of Polynomial Ascending Chains and Primitive Recursiveness. Math. Scand. 1992;71:181-205. doi:10.7146/math.scand.a-12421