0.00/0.42 MAYBE 0.00/0.42 0.00/0.42 Problem: 0.00/0.43 add(x, 0()) -> x 0.00/0.43 add(x, s(y)) -> s(z) <= add(x, y) = z 0.00/0.43 sub(z, y) -> x <= add(x, y) = z 0.00/0.43 0.00/0.43 Proof: 0.00/0.43 ConCon could not decide confluence of the system. 0.00/0.43 \cite{ALS94}, Theorem 4.1 does not apply. 0.00/0.43 This system may be strongly deterministic or not. 0.00/0.43 0.00/0.43 EOF