(1)
Sayadyan, S. M. .; Chubaryan, A. A. . On Polynomially Equivalence of Minimal Frege Systems. MPCS 2021, 28, 141-145.