Roberto Di Cosmo Stefano Guerrini Strong Normalization of Proof Nets Modulo Structural Congruences. 75-89 http://dx.doi.org/10.1007/3-540-48685-2_6 1999 conf/rta/1999 RTA db/conf/rta/rta99.html#CosmoG99