Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco: Strong Normalization for All-Style LK. TABLEAUX 1996: 226-243