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