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.