Chubaryan, A. A. (2022). PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS. Proceedings of the YSU A: Physical and Mathematical Sciences, 56(2 (258), 58–65. https://doi.org/10.46991/PYSU:A/2022.56.2.058