0.00/0.60 MAYBE 0.00/0.60 0.00/0.60 Problem: 0.00/0.61 f(x) -> x <= x = e() 0.00/0.61 g(d(), x, x) -> A() 0.00/0.61 h(x, x) -> g(x, x, f(k())) 0.00/0.61 a() -> c() 0.00/0.61 a() -> d() 0.00/0.61 b() -> c() 0.00/0.61 b() -> d() 0.00/0.61 c() -> e() 0.00/0.61 c() -> l() 0.00/0.61 k() -> l() 0.00/0.61 k() -> m() 0.00/0.61 d() -> m() 0.00/0.61 0.00/0.61 Proof: 0.00/0.61 ConCon could not decide confluence of the system. 0.00/0.61 \cite{ALS94}, Theorem 4.1 does not apply. 0.00/0.61 ConCon could not decide whether all 9 critical pairs are joinable or not. 0.00/0.61 CP: e() = l(): 0.00/0.61 0.00/0.62 EOF