Chubaryan, A. A. PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS. Proc. YSU A: Phys. Math. Sci. 2022, 56, 58-65.