The Free On-line Dictionary of Computing (19 January 2023):

Root Normal Form

   (RNF) Head Normal Form in graph rewriting.