[1]
R. L. Goodstein, “Diophantine Equations in Recursive Difference”., Math. Scand., vol. 15, pp. 43–48, Jun. 1964, doi: 10.7146/math.scand.a-10725.