The Free On-line Dictionary of Computing (30 December 2018):

Root Normal Form

   (RNF) Head Normal Form in graph rewriting.