Roberto Di Cosmo, Stefano Guerrini: Strong Normalization of Proof Nets Modulo Structural Congruences. RTA 1999: 75-89