A. A. Chubaryan, “PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS”, Proc. YSU A: Phys. Math. Sci., vol. 56, no. 2 (258), pp. 58–65, Jul. 2022, doi: 10.46991/PYSU:A/2022.56.2.058.