Anahit, Chubaryan, Karabakhtsyan Arman, and Petrosyan Garik. “Some Properties of Several Proof Systems for Intuitionistic, Johanssons and Monotone Propositional Logics”. Journal of Asian Scientific Research 8, no. 2 (January 30, 2018): 61–72. Accessed July 3, 2024. https://archive.aessweb.com/index.php/5003/article/view/3876.