Chubaryan, A. A. ., Chubaryan, A. A. ., & Aleksanyan, S. R. . (2021). omparison of the Complexities in Frege Proofs with Different Substitution Rules. Mathematical Problems of Computer Science, 30, 36–39. Retrieved from http://mpcs.sci.am/index.php/mpcs/article/view/413