Normal forms for match-action programs. - Németh, Felicián; Chiesa, Marco; Rétvári, Gábor (2019)