Root Normal Form
(RNF)
Head Normal Form
in graph rewriting.