Хадиев К.Р. Анализ сложности вычисления булевых функций ветвящимися программами с ограничениями : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / К. Р. Хадиев, 2015. - 20 с. - Текст : непосредственный.