Root Normal Form

Root Normal Form

(RNF) Head Normal Form in graph rewriting.
Mentioned in ?