EQUATIONS: plus(0(),x) = x plus(s(x),y) = s(plus(x,y)) plus(plus(x,y),z) = plus(x,plus(y,z)) fib(0()) = 0() fib(s(0())) = s(0()) fib(s(s(x))) = plus(fib(x),fib(s(x))) dfib(0(),y) = y dfib(s(0()),y) = s(y) dfib(s(s(x)),y) = dfib(s(x),dfib(x,y)) COMPLETE TRS: RULES: plus(0(),x) -> x plus(s(x),y) -> s(plus(x,y)) plus(plus(x,y),z) -> plus(x,plus(y,z)) fib(0()) -> 0() fib(s(0())) -> s(0()) fib(s(s(x))) -> plus(fib(x),fib(s(x))) dfib(0(),y) -> y dfib(s(0()),y) -> s(y) dfib(s(s(x)),y) -> dfib(s(x),dfib(x,y)) SUCCESS MaxTRS: 2 Search time: 0.01 seconds