0.54/0.62	YES
0.54/0.62	
0.54/0.62	Problem:
0.54/0.62	 b() -> a()
0.54/0.62	 f(h(b(),f(a()))) -> f(c())
0.54/0.62	 c() -> h(c(),c())
0.54/0.62	 h(f(f(b())),a()) -> c()
0.54/0.62	 h(a(),a()) -> a()
0.54/0.62	
0.54/0.62	Proof:
0.54/0.62	 Uncurry Processor:
0.54/0.62	  b() -> a()
0.54/0.62	  f5(f(),f5(f5(h(),b()),f5(f(),a()))) -> f5(f(),c())
0.54/0.62	  c() -> f5(f5(h(),c()),c())
0.54/0.62	  f5(f5(h(),f5(f(),f5(f(),b()))),a()) -> c()
0.54/0.62	  f5(f5(h(),a()),a()) -> a()
0.54/0.62	  Ground Confluence Processor:
0.54/0.62	   UNR by decision procedure.
0.54/0.62	EOF