T

trs

Mathematical term rewriting system.