2.19/1.53	NO
2.19/1.53	
2.19/1.53	Proof:
2.19/1.53	This system is not confluent.
2.19/1.53	Removed infeasible rules from system R.
2.19/1.53	For the unconditional CP p(r(z)) = p(r(h(z))) the left- and right-hand sides are two different normal forms wrt R_u.
2.19/1.53	
4.56/1.97	EOF