1.34/0.68	YES
1.34/0.68	
1.34/0.68	Problem:
1.34/0.68	 b(a(a(b(x1)))) -> b(b(b(a(x1))))
1.34/0.68	 b(b(b(b(x1)))) -> a(b(b(b(x1))))
1.34/0.68	 b(a(b(b(x1)))) -> b(a(b(a(x1))))
1.34/0.68	
1.34/0.68	Proof:
1.34/0.68	 String Reversal Processor:
1.34/0.68	  b(a(a(b(x1)))) -> a(b(b(b(x1))))
1.34/0.68	  b(b(b(b(x1)))) -> b(b(b(a(x1))))
1.34/0.68	  b(b(a(b(x1)))) -> a(b(a(b(x1))))
1.34/0.68	  KBO Processor:
1.34/0.68	   weight function:
1.34/0.68	    w0 = 1
1.34/0.68	    w(a) = w(b) = 1
1.34/0.68	   precedence:
1.34/0.68	    b > a
1.34/0.68	   problem:
1.34/0.68	    
1.34/0.68	   Qed
1.34/0.69	EOF