ユーリ・マチャセビッチ
Yuri Matiyasevich, Real-time recognition of the inclusion relation (オンライン版), Journal of Sovjet Mathematics, vol. 1, No.1, pp. 64-70, (1973), ISSN 0090-4104.
Yuri Matiyasevich and Julia Robinson, Reduction of an arbitrary Diophantine equation to one in 13 unknowns (オンライン版), Acta Arithmetica, XXVII (1975), 521-549.
Yuri Matiyasevich and Géraud Senizergues, Decision Problems for Semi-Thue Systems with a Few Rules (オンライン版), LICS'96.