Бельтюков, А. П. To the Anniversary of Yuri Vladimirovich Matiyasevich. CTE 2017, 5-11.