Бельтюков, А. П. (2017). To the Anniversary of Yuri Vladimirovich Matiyasevich. Computer Tools in Education, 6, 5-11. http://cte.eltech.ru/ojs/index.php/kio/article/view/1526