/home/nowonder/forschung/aprove/TPDB05/TRS/uncurried/AG01/#3.45.trs

The program

(from AG01 3.45)
(VAR x y)
(RULES
f(s(x)) -> f(x)
g(cons(0,y)) -> g(y)
g(cons(s(x),y)) -> s(x)
h(cons(x,y)) -> h(g(cons(x,y)))
)