0.00/0.46 MAYBE 0.00/0.46 0.00/0.46 Problem: 0.00/0.46 gcd(add(x, y), y) -> gcd(x, y) 0.00/0.46 gcd(y, add(x, y)) -> gcd(x, y) 0.00/0.46 gcd(x, 0()) -> x 0.00/0.46 gcd(0(), x) -> x 0.00/0.46 gcd(x, y) -> gcd(y, x) <= leq(y, x) = false() 0.00/0.46 add(0(), y) -> y 0.00/0.46 add(s(x), y) -> s(add(x, y)) 0.00/0.46 0.00/0.46 Proof: 0.00/0.47 ConCon could not decide confluence of the system. 0.00/0.47 \cite{GNG13}, Theorem 9 does not apply. 0.00/0.47 0.00/0.47 EOF