Sayadyan, S.M. and Chubaryan, A.A. 2021. On Polynomially Equivalence of Minimal Frege Systems. Mathematical Problems of Computer Science. 28, (Dec. 2021), 141–145.