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