MAYBE
by ttt2 (version ttt2 1.15)
The rewrite relation of the following TRS is considered.
b(a(b(b(x0)))) | → | b(b(b(a(b(x0))))) |
b(a(a(b(b(x0))))) | → | b(a(b(b(a(a(b(x0))))))) |
b(a(a(a(b(b(x0)))))) | → | b(a(a(b(b(a(a(a(b(x0))))))))) |
b(a(a(a(a(b(b(x0))))))) | → | b(a(a(a(b(b(a(a(a(a(b(x0))))))))))) |
b(a(b(b(x0)))) | → | b(b(b(a(b(x0))))) |
b(a(a(b(b(x0))))) | → | b(a(b(b(a(a(b(x0))))))) |
b(a(a(a(b(b(x0)))))) | → | b(a(a(b(b(a(a(a(b(x0))))))))) |
b(a(a(a(a(b(b(x0))))))) | → | b(a(a(a(b(b(a(a(a(a(b(x0))))))))))) |