Chubaryan, A. and Sayadyan, S. 2021. Some New Propositional Proof Systems for Intuitionistic and Minimal Logics. Mathematical Problems of Computer Science. 38, (Dec. 2021), 44–45.