%0 Journal Article
%A A. A. Chubaryan
%T Proof complexities on a class of balanced formulas in some propositional systems
%J Proceedings of the Yerevan State University. Physical and mathematical sciences
%D 2022
%P 58-65
%V 56
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZERU_2022_56_2_a2/
%G en
%F UZERU_2022_56_2_a2