Mints, Gregory, cNormal Forms for Sequent Derivationsd, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 4693492
V. Peckhaus, zbMATH Open, Zbl. 0897.03053 (1998).