What is the abbreviation for Term rewrite system?

Looking for the shorthand of Term rewrite system or how to abbreviate it? We have 3 shorthands for Term rewrite system.

ADVERTISEMENT