Chubaryan, A.A. , Chubaryan, A.A. and Aleksanyan, S.R. 2021. omparison of the Complexities in Frege Proofs with Different Substitution Rules. Mathematical Problems of Computer Science. 30, (Dec. 2021), 36–39.