S. R. . . Aleksanyan, “On Some Proporties of Frege Proofs”, MPCS, vol. 29, pp. 117–122, Dec. 2021.