MAYBE
MAYBE
TRS:
 {
              *(x, *(y, z)) -> *(*(x, y), z),
                  *(x, 1()) -> x,
                 *(x, i(x)) -> 1(),
           *(*(x, y), i(y)) -> x,
           *(*(x, i(y)), y) -> x,
     *(*(i(x), k(y, z)), x) -> k(*(*(i(x), y), x), *(*(i(x), z), x)),
                  *(1(), y) -> y,
                 *(i(x), x) -> 1(),
        *(k(x, y), k(y, x)) -> 1(),
                 i(*(x, y)) -> *(i(y), i(x)),
                     i(1()) -> 1(),
                    i(i(x)) -> x,
                    k(x, x) -> 1(),
                  k(x, 1()) -> 1(),
  k(*(x, i(y)), *(y, i(x))) -> 1()
 }
 DUP: We consider a duplicating system.
  Trs:
   {
                *(x, *(y, z)) -> *(*(x, y), z),
                    *(x, 1()) -> x,
                   *(x, i(x)) -> 1(),
             *(*(x, y), i(y)) -> x,
             *(*(x, i(y)), y) -> x,
       *(*(i(x), k(y, z)), x) -> k(*(*(i(x), y), x), *(*(i(x), z), x)),
                    *(1(), y) -> y,
                   *(i(x), x) -> 1(),
          *(k(x, y), k(y, x)) -> 1(),
                   i(*(x, y)) -> *(i(y), i(x)),
                       i(1()) -> 1(),
                      i(i(x)) -> x,
                      k(x, x) -> 1(),
                    k(x, 1()) -> 1(),
    k(*(x, i(y)), *(y, i(x))) -> 1()
   }
  Fail