0.00/0.61 NO 0.00/0.61 0.00/0.61 Problem: 0.00/0.62 f(x) -> x <= x = e() 0.00/0.62 g(d(), x, y) -> A() <= y = x 0.00/0.62 h(x, y) -> g(x, y, f(k())) <= y = x 0.00/0.62 a() -> c() 0.00/0.62 a() -> d() 0.00/0.62 b() -> c() 0.00/0.62 b() -> d() 0.00/0.62 c() -> e() 0.00/0.62 c() -> l() 0.00/0.62 k() -> l() 0.00/0.62 k() -> m() 0.00/0.62 d() -> m() 0.00/0.62 0.00/0.62 Proof: 0.00/0.62 This system is not confluent. 0.00/0.62 This system is oriented. 0.00/0.62 For the unconditional CP l() = e() the left- and right-hand sides are two different normal forms wrt R_u. 0.00/0.62 0.00/0.94 EOF