Белякин, Н. В. Компьютеризация доказательства теоремы Мостовского / Н. В. Белякин, Л. Л. Смолякова // Материалы двенадцатой региональной конференции по математике МАК-2009, Барнаул, июнь, 2009 : [тезисы докл.] / АлтГУ [и др.] ; [гл. ред. Н. М. Оскорбин и др.]. - Барнаул : Изд-во АлтГУ, 2009. - С. 3.