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://93.187.165.2/index.php/mpcs/article/view/413 (Accessed: 28September2024).