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