Chubaryan, A. A. ., Chubaryan, A. A. . and Aleksanyan, S. R. . (2021) “omparison of the Complexities in Frege Proofs with Different Substitution Rules”, Mathematical Problems of Computer Science, 30, pp. 36–39. Available at: http://mpcs.sci.am/index.php/mpcs/article/view/413 (Accessed: 19April2024).