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