English Computing Dictionary
◊ TRS
TRS
{term rewriting system}