(COMMENT Transformation of outermost rewriting to context sensitive rewriting of: cariboo_ex5.trs (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 ) f(x) -> g(f(x)) g(f(x)) -> x g(x) -> a ) (VAR x) (STRATEGY CONTEXTSENSITIVE (a_0) (f_1) (g_1)) (RULES f_1 (x) -> g_1 (f_1 (x)) g_1 (f_1 (x)) -> x g_1 (x) -> a_0)