Ю. В. Матиясевич, “Математическое доказательство: вчера, сегодня, завтра”, CTE, no. 6, Jan. 2014.