Real classes in the ultrapower of hereditarily finite sets Antonín Sochor (1975) Commentationes Mathematicae Universitatis Carolinae
Reduction of an arbitrary diophantine equation to one in 13 unknowns Yuri Matijasevič, Julia Robinson (1975) Acta Arithmetica