1.12/0.77	NO
1.12/0.77	
1.12/0.77	Proof:
1.12/0.77	This system is not confluent.
1.12/0.77	For the unconditional CP m = l the left- and right-hand sides are two different normal forms wrt R_u.
1.12/0.77	
1.28/0.79	EOF