Бельтюков, А.П. (2017) “To the Anniversary of Yuri Vladimirovich Matiyasevich”, Computer Tools in Education, (6), pp. 5–11. Available at: http://cte.eltech.ru/ojs/index.php/kio/article/view/1526 (Accessed: 24 July 2026).