CHUBARYAN, Anahit A. PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS. Proceedings of the YSU A: Physical and Mathematical Sciences, Yerevan, Armenia, v. 56, n. 2 (258), p. 58–65, 2022. DOI: 10.46991/PYSU:A/2022.56.2.058. Disponível em: https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol56_no2_2022_pp058-065. Acesso em: 1 may. 2024.