Natural Deduction and Weak Normalization for Full Linear Logic. - Lília Ramalho Martins; Ana Teresa C. Martins (Log. J. IGPL, 2004)

Natural Deduction for Full S5 Modal Logic with Weak Normalization. - Ana Teresa C. Martins; Lília Ramalho Martins (WoLLIC, 2005)

Full classical S5 in natural deduction with weak normalization. - Ana Teresa C. Martins; Lília Ramalho Martins (Ann. Pure Appl. Log., 2008)