EQUATIONS: 
s(s(x)) = x
f(0(),y) = y
f(s(x),y) = s(f(x,y))
f(f(g(x,y),0()),0()) = g(x,y)
g(0(),y) = y
g(s(x),y) = f(g(x,y),0())
h(0()) = s(0())

COMPLETE TRS:
RULES:
s(s(x)) -> x
f(0(),y) -> y
f(s(x),y) -> s(f(x,y))
g(0(),y) -> y
g(s(x),y) -> f(g(x,y),0())
h(0()) -> s(0())
f(f(x,0()),0()) -> x

SUCCESS
MaxTRS: 2 
Search time: 0.01 seconds