0.00/0.54 MAYBE 0.00/0.54 0.00/0.54 Problem: 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 d() -> e() 0.00/0.54 k() -> e() 0.00/0.54 l() -> e() 0.00/0.54 s(c()) -> t(k()) 0.00/0.54 s(c()) -> t(l()) 0.00/0.54 s(e()) -> t(e()) 0.00/0.54 g(x, x) -> h(x, x) 0.00/0.54 f(x) -> pair(x, y) <= s(x) = t(y) 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