A. Abajyan, “POLYNOMIAL LENGTH PROOFS FOR SOME CLASS OF TSEITIN FORMULAS”, Proc. YSU A: Phys. Math. Sci., vol. 45, no. 3 (226), pp. 3–8, Oct. 2011.