Toropov N. R. , Zakrevskij A. D. «Minimization of Boolean functions of manyvariables - iterative method and program realization » // 2009. №1(3) C.5-14
Semenov A. A. «On the effective representation of disjunctive normal forms by diagrams of a special kind» // 2013. №6 (Приложение) C.125-129
Semenov A. A. «On the effective representation of disjunctive normal forms by diagrams of a special kind» // 2013. №6 C.125-129