0.00/0.60	NO
0.00/0.60	
0.00/0.60	Problem:
0.00/0.60	a() -> c()
0.00/0.60	a() -> d()
0.00/0.60	b() -> c()
0.00/0.60	b() -> d()
0.00/0.60	c() -> e()
0.00/0.60	c() -> l()
0.00/0.60	d() -> m()
0.00/0.60	k() -> l()
0.00/0.60	k() -> m()
0.00/0.60	h(x, x) -> g(x, x, f(k()))
0.00/0.60	g(d(), x, x) -> A()
0.00/0.60	A() -> h(f(a()), f(b()))
0.00/0.60	f(x) -> x <= x = e()
0.00/0.60	
0.00/0.60	Proof:
0.00/0.60	This system is not confluent.
0.00/0.60	This system is oriented.
0.00/0.60	For the unconditional CP e() = l() ctcap(e()) and ctcap(l()) wrt R_u are not unifiable.
0.00/0.60	
0.00/0.62	EOF