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