Abajyan, A.G. “POLYNOMIAL LENGTH PROOFS FOR SOME CLASS OF TSEITIN FORMULAS”. Proceedings of the YSU A: Physical and Mathematical Sciences, vol. 45, no. 3 (226), Oct. 2011, pp. 3-8, doi:10.46991/PYSU:A/2011.45.3.003.