0.00/0.50 MAYBE 0.00/0.50 0.00/0.50 Problem: 0.00/0.51 f(x) -> x <= x = e() 0.00/0.51 g(d(), x, x) -> A() 0.00/0.51 h(x, x) -> g(x, x, f(k())) 0.00/0.51 a() -> c() 0.00/0.51 a() -> d() 0.00/0.51 b() -> c() 0.00/0.51 b() -> d() 0.00/0.51 c() -> e() 0.00/0.51 c() -> l() 0.00/0.51 k() -> l() 0.00/0.51 k() -> m() 0.00/0.51 d() -> m() 0.00/0.51 0.00/0.51 Proof: 0.00/0.51 ConCon could not decide confluence of the system. 0.00/0.51 \cite{SMI95}, Corollary 4.7 or 5.3 do not apply. 0.00/0.51 0.00/0.51 EOF