Бибило П. Н., Логинова И. П. Экспериментальное сравнение эффективности программ минимизации систем булевых функций в классе дизъюнктивных нормальных форм. Информатика. 2022;19(2):26-55. https://doi.org/10.37661/1816-0301-2022-19-2-26-55