EQUATIONS: 
f(x,nil()) = g(nil(),x)
f(x,g(y,z)) = g(f(x,y),z)
g(g(x,y),y) = g(x,y)
g(cdr(g(x,y)),y) = cdr(g(x,y))
cons(x,nil()) = x
cons(x,g(y,z)) = g(cons(x,y),z)
cdr(nil()) = nil()
cdr(g(nil(),y)) = nil()
cdr(g(g(x,y),z)) = g(cdr(g(x,y)),z)

COMPLETE TRS:
RULES:
cons(x,nil()) -> x
cdr(nil()) -> nil()
f(x,nil()) -> nil()
g(x,y) -> x

SUCCESS
MaxTRS: 2 
Search time: 0.03 seconds