Rewriting
WordNet

noun


(1)   Editing that involves writing something again
WiktionaryText

Noun



  1. a wide range of potentially non-deterministic methods of replacing subterms of a formula with other terms
 
x
OK