Kürbis, N.; Petrukhin, Y. Normalisation for Some Quite Interesting Many-Valued Logics. LLP 2021, 30, 493-534.