Бибило П. Н., Кириенко Н. А., Романов В. И. Алгоритмы выделения из многоуровневого представления системы булевых функций подсистем для совместной минимизации // Информатика. 2024 Т.21, №4. С.7-23. doi:10.37661/1816-0301-2024-21-4-7-23