Aleksanyan, S.R. . . 2021. On Some Proporties of Frege Proofs. Mathematical Problems of Computer Science. 29, (Dec. 2021), 117–122.