БЕЛЬТЮКОВ, А. П. To the Anniversary of Yuri Vladimirovich Matiyasevich. Computer Tools in Education, n. 6, p. 5-11, 30 Dec. 2017.