A new proof of normalization for NS4 - Bruno Lopes 001; Cécilia Englander; Fernanda Lobo; Marcela Cruz (CoRR, 2012)