Hilbert's Tenth Problem and the Independence of Recursive Difference
scientific article; zbMATH DE number 3506665