Strong Normalizability of Typed Lambda-Calculi for Substructural Logics. - Motohiko Mouri; Norihiro Kamide (Logica Universalis, 2008)