Abajyan, A. POLYNOMIAL LENGTH PROOFS FOR SOME CLASS OF TSEITIN FORMULAS. Proc. YSU A: Phys. Math. Sci. 2011, 45, 3-8.