A. A. . Khamisyan, “On Some Universal Propositional Proof Systems for Many-Valued Logic”, MPCS, vol. 53, pp. 21–28, Jul. 2020.