ユーリ・マチャセビッチ
Yuri Matiyasevich, Proof Procedures as Bases for Metamathematical Proofs in Discrete Mathematics (オンライン版), Personal Journal of Yury Matiyasevich.
Yuri Matiyasevich, Elimination of bounded universal quantifiers standing in front of a quantifier-free arithmetical formula, (オンライン版), Personal Journal of Yuri Matiyasevich.
Yuri Matiyasevich, A Polynomial related to Colourings of Triangulation of Sphere, (オンライン版), Personal Journal of Yuri Matiyasevich.
Yuri Matiyasevich, Some Probabilistic Restatements of the Four Color Conjecture (オンライン版), Journal of Graph Theory, 2003.