Abajyan, A. 2011. POLYNOMIAL LENGTH PROOFS FOR SOME CLASS OF TSEITIN FORMULAS. Proceedings of the YSU A: Physical and Mathematical Sciences. 45, 3 (226) (Oct. 2011), 3–8. DOI:https://doi.org/10.46991/PYSU:A/2011.45.3.003.