0.53/1.12 MAYBE 0.53/1.12 0.53/1.12 Problem: 0.53/1.12 plus(0(), y) -> y 0.53/1.12 plus(s(x), y) -> plus(x, s(y)) 0.53/1.13 f(x, y) -> z <= plus(x, y) = plus(z, z') 0.53/1.13 0.53/1.13 Proof: 0.53/1.13 ConCon could not decide confluence of the system. 0.53/1.13 \cite{ALS94}, Theorem 4.1 does not apply. 0.53/1.13 This system may be strongly deterministic or not. 0.53/1.13 0.53/1.13 EOF