Поттосин Ю. В., Шестаков Е. А. ДЕКОМПОЗИЦИЯ СИСТЕМЫ БУЛЕВЫХ ФУНКЦИЙ ПО ЗАДАННЫМ ВХОДНЫМ ФУНКЦИЯМ // Информатика. 2005 №4(8). С.94-104.