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. Yerevan, Armenia, 56(2 (258), pp. 58–65. doi: 10.46991/PYSU:A/2022.56.2.058.