Root Normal Form

Root Normal Form

(RNF) Head Normal Form in graph rewriting.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
Mentioned in ?