Закревский А. Д., Торопов Н. Р. РЕАЛИЗАЦИЯ ЭВРИСТИЧЕСКОГО МЕТОДА ДЕКОМПОЗИЦИИ БУЛЕВЫХ ФУНКЦИЙ. Информатика. 2008;(4(20)):41-49.