Kürbis, N., and Y. Petrukhin. “Normalisation for Some Quite Interesting Many-Valued Logics”. Logic and Logical Philosophy, vol. 30, no. 3, June 2021, pp. 493-34, doi:10.12775/LLP.2021.009.