SUCCESS 0.10 (total time) COMPLETED TRS dfib(s(s(x)), y) -> dfib(s(x), dfib(x, y)) dfib(s(0), x) -> s(x) dfib(0, x) -> x fib(s(s(x))) -> +(fib(x), fib(s(x))) fib(s(0)) -> s(0) fib(0) -> 0 +(s(x), y) -> s(+(x, y)) +(0, x) -> x +(+(x, y), z) -> +(x, +(y, z))