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