Ю. Матиясевич, “Алгоритм Тарского”, CTE, no. 6, Jan. 2014.