On the 2-Categorical View of Proofs. - Cécilia Englander; Edward Hermann Haeusler (ISoLA (1), 2010)

A new proof of normalization for NS4 - Bruno Lopes 001; Cécilia Englander; Fernanda Lobo; Marcela Cruz (CoRR, 2012)

Yet Another Bijection Between Sequent Calculus and Natural Deduction. - Cécilia Englander; Gilles Dowek; Edward Hermann Haeusler (LSFA, 2014)

Finitely many-valued logics and natural deduction. - Cécilia Englander; Edward Hermann Haeusler; Luiz Carlos Pereira (Log. J. IGPL, 2014)