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