Бибило П. Н., Ланкевич Ю. Ю. Логическая минимизация булевых сетей с использованием разложения Шеннона // Информатика. 2019 Т.16, №2. С.73-89.