Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus. - Inge Li Gørtz; Signe Reuss; Morten Heine Sørensen (High. Order Symb. Comput., 2003)