Semenov A. A. «ABOUT TSEITIN TRANSFORMATION IN LOGICAL EQUATIONS » // 2009. №4(6) C.28-50
Ignatiev A. S., Semenov A. A. «ALGORITHMS USING ROBDD AS A BASE FORBOOLEAN CONSTRAINTS.» // 2010. №1(7) C.86-104