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), pp. 58–65. doi:10.46991/PYSU:A/2022.56.2.058.