/home/nowonder/forschung/aprove/TPDB05/TRS/nontermin/cariboo/ex5.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(x)	-> g(f(x))
	g(f(x))	-> x
	g(x) -> a
)

Submit to AProVE Web Frontend

Edit in AProVE Web Frontend