A. A. . Chubaryan, A. A. . Chubaryan, and S. R. . Aleksanyan, “omparison of the Complexities in Frege Proofs with Different Substitution Rules”, MPCS, vol. 30, pp. 36–39, Dec. 2021.