Chubaryan, Anahit, and Sergey Sayadyan. 2021. “Some New Propositional Proof Systems for Intuitionistic and Minimal Logics”. Mathematical Problems of Computer Science 38 (December):44-45. http://mpcs.sci.am/index.php/mpcs/article/view/482.