N. Kürbis and Y. Petrukhin, “Normalisation for Some Quite Interesting Many-Valued Logics”, LLP, vol. 30, no. 3, pp. 493–534, Jun. 2021.