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/PYSU:A/2011.45.3.003