n.editing that involves writing something again
同义词：revising
Term rewriting and all that
Term rewriting and all that.
Term Rewriting and All That: Preface
Term Rewriting and All That: Termination
Corrigendum: "Termination of rewriting''.
Conditional rewriting logic as a unified model of concurrency
Translation, rewriting, and the manipulation of literary fame
Maude: specification and programming in rewriting logic
Translation, rewriting and the manipulation of literary fame = 翻译、改写以及对文学名声的制控
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term R...
