Chubaryan, A. A. .; Chubaryan, A. A. .; Aleksanyan, S. R. . Omparison of the Complexities in Frege Proofs With Different Substitution Rules. MPCS 2021, 30, 36-39.