(1)
Goodstein, R. L. Diophantine Equations in Recursive Difference.
Math. Scand.
1964
,
15
, 43-48.