/home/nowonder/forschung/aprove/TPDB05/TRS/nontermin/cariboo/ex3.trs

The program

(from
Fissore, Olivier and Gnaedig, Isabelle and Kirchner, Hélène. 
Outermost ground termination - Extended version. Technical Report A02-R-493
2002, LORIA, Nancy, France
)

(VAR x)

(RULES
f(g(a))	-> f(s(g(b)))
f(f(x))	-> b
g(x)	-> f(g(x))
)

Submit to AProVE Web Frontend

Edit in AProVE Web Frontend