Strong normalization for Np-systems via Mimp-graphs. - Vaston Conçalves da Costa; Edward Hermann Haeusler (FLAP, 2022)