Source : Free On-Line Dictionary of Computing

TRS
     
        {term rewriting system}