Jean-Baptiste Joinet Harold Schellinx Lorenzo Tortora de Falco Strong Normalization for All-Style LK. 226-243 1996 conf/tableaux/1996 TABLEAUX db/conf/tableaux/tableaux96.html#JoinetSF96