Sayadyan, S. M. ., & Chubaryan, A. A. . (2021). On Polynomially Equivalence of Minimal Frege Systems. Mathematical Problems of Computer Science, 28, 141–145. Retrieved from http://mpcs.sci.am/index.php/mpcs/article/view/512