ABAJYAN, A. POLYNOMIAL LENGTH PROOFS FOR SOME CLASS OF TSEITIN FORMULAS. Proceedings of the YSU A: Physical and Mathematical Sciences, v. 45, n. 3 (226), p. 3–8, 17 Oct.2011.