0.00/0.45 MAYBE 0.00/0.45 0.00/0.45 Problem: 0.00/0.46 f(x, x) -> a() 0.00/0.46 g(x) -> a() <= g(x) = b() 0.00/0.46 a() -> b() 0.00/0.46 b() -> a() 0.00/0.46 0.00/0.46 Proof: 0.00/0.46 ConCon could not decide confluence of the system. 0.00/0.46 \cite{SMI95}, Corollary 4.7 or 5.3 do not apply. 0.00/0.46 0.00/0.46 EOF