Опарин В.В. Оценки сложности вывода в системах доказательств, основанных на методе резолюций : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / В. В. Опарин, 2016. - 17 с. - Текст : непосредственный.