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