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