1.00/1.04	YES
1.00/1.04	
1.00/1.04	Problem:
1.00/1.04	 a() -> b()
1.00/1.04	 a() -> d()
1.00/1.04	 b() -> a()
1.00/1.04	 c() -> a()
1.00/1.04	 c() -> b()
1.00/1.04	
1.00/1.04	Proof:
1.00/1.04	 Uncurry Processor:
1.00/1.04	  a() -> b()
1.00/1.04	  a() -> d()
1.00/1.04	  b() -> a()
1.00/1.04	  c() -> a()
1.00/1.04	  c() -> b()
1.00/1.04	  Ground Confluence Processor:
1.00/1.04	   UNR by decision procedure.
1.00/1.04	EOF