Chubaryan, A., & Sayadyan, S. (2021). Some New Propositional Proof Systems for Intuitionistic and Minimal Logics. Mathematical Problems of Computer Science, 38, 44–45. Retrieved from http://mpcs.sci.am/index.php/mpcs/article/view/482