A. A. Hambardzumyan, “Investigation of Monotonous Properties for Frege Systems”, MPCS, vol. 53, pp. 14–20, Jul. 2020.