Hambardzumyan, Arsen A. “Investigation of Monotonous Properties for Frege Systems”. Mathematical Problems of Computer Science 53 (July 10, 2020): 14–20. Accessed February 26, 2026. http://www.mpcs.sci.am/index.php/mpcs/article/view/11.