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 Nov. 21];56(2 (258):58-65. Available from: https://pub.ysu.am/index.php/proceedings-phys-math/article/view/vol56_no2_2022_pp058-065