Chubaryan, A. A. and Tamazyan, H. A. (2019) On Lower Bounds for Proofs Sizes in Frege Systems. ՀՀ ԳԱԱ Զեկույցներ, 119 (2). pp. 116-121. ISSN 0321-1339