Chubaryan, A. A. PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS. Proc. YSU A: Phys. Math. Sci. 2022, 56 (2 (258), 58-65. https://doi.org/10.46991/PYSU:A/2022.56.2.058.