Матиясевич, Ю. 2014. Алгоритм Тарского. Computer Tools in Education. 6 (Jan. 2014).