A. Chubaryan and S. Sayadyan, “Some New Propositional Proof Systems for Intuitionistic and Minimal Logics”, MPCS, vol. 38, pp. 44–45, Dec. 2021.