Abajyan, A.G. “POLYNOMIAL LENGTH PROOFS FOR SOME CLASS OF TSEITIN FORMULAS”. Proceedings of the YSU A: Physical and Mathematical Sciences 45, no. 3 (226) (October 17, 2011): 3–8. Accessed July 22, 2024. https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol45_no3_2011_pp003-008.