Chubaryan AA. PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS. Proc. YSU A: Phys. Math. Sci. [Internet]. 2022 Jul. 13 [cited 2024 May 1];56(2 (258):58-65. Available from: https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol56_no2_2022_pp058-065