(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(h(x)) -> f(i(x)) f(i(x)) -> a i(x) -> h(x) )
Submit to AProVE Web Frontend
Edit in AProVE Web Frontend