Chubaryan, Anahit A. “PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS”. Proceedings of the YSU A: Physical and Mathematical Sciences, vol. 56, no. 2 (258), July 2022, pp. 58-65, doi:10.46991/PYSU:A/2022.56.2.058.