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