CSI   
Enter a TRS
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 HRS
For input use the Cops HRS format. See http://coco.nue.riec.tohoku.ac.jp/problems/hrs.txt for details.

Example:

(FUN
  nil : alist
  cons : a -> alist -> alist
  map : (a -> a) -> alist -> alist
)
(VAR
  x : a
  F : a -> a
  h : a
  t : alist
)
(RULES
  map (\x. F x) nil -> nil,
  map (\x. F x) (cons h t) -> cons (F h) (map (\x. F x) t)
)
or upload a file   Examples: