Hilbert's tenth problem
1995 ◽
pp. 255-258
2019 ◽
pp. 167-199