Aleksanyan, S. R. . . (2021) “On Some Proporties of Frege Proofs”, Mathematical Problems of Computer Science, 29, pp. 117–122. Available at: http://mpcs.sci.am/index.php/mpcs/article/view/455 (Accessed: 18May2024).