Hambardzumyan, A. A. “Investigation of Monotonous Properties for Frege Systems”. Mathematical Problems of Computer Science, vol. 53, July 2020, pp. 14-20, doi:10.51408/1963-0048.