0.00/0.80 MAYBE 0.00/0.80 0.00/0.80 Problem: 0.00/0.80 plus(0(), y) -> y 0.00/0.80 plus(s(x), y) -> plus(x, s(y)) 0.00/0.80 f(x, y) -> z <= plus(x, y) = plus(z, z') 0.00/0.80 0.00/0.80 Proof: 0.00/0.80 ConCon could not decide confluence of the system. 0.00/0.80 \cite{GNG13}, Theorem 9 does not apply. 0.00/0.80 0.00/0.81 EOF