The Matiyasevich theorem. Preliminaries
scientific article; zbMATH DE number 6955860