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