ISR 2017 – CoLL   
Enter TRSs
For input use the standard TRS format. See http://www.lri.fr/~marche/tpdb/format.html for details.

Example:

(VAR x y)
(RULES
f(g(x),y) -> f(x,y)
)
or upload a file   Examples: