Ubar Raimund «Fault Effect Reasoning in Digital Systems by Topological View on Lowand High-level Decision Diagrams» // 2014. №3(28) C.99-113
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
