Поцелуевская Е.А. Алгоритмы поиска решения задачи об F-выполнимости, основанные на приближении булевых функций к классам Шефера : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / Е. А. Поцелуевская, 2012. - 17 с. - Текст : непосредственный.