Chubaryan, Anahit A. “PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS”. Proceedings of the YSU A: Physical and Mathematical Sciences 56, no. 2 (258) (July 13, 2022): 58–65. Accessed May 1, 2024. https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol56_no2_2022_pp058-065.