S. M. . Sayadyan and A. A. . Chubaryan, “On Polynomially Equivalence of Minimal Frege Systems”, MPCS, vol. 28, pp. 141–145, Dec. 2021.