Окольнишникова Е.А. Методы получения нижних оценок сложности ветвящихся программ, вычисляющих булевы функции : автореф. дис. .. д-ра физ.-мат. наук: 01.01.09 / Е. А. Окольнишникова, 2007. - 27 с. с. - Текст : непосредственный.