YES
TRS:
 {minus(minus(x)) -> x,
      minus(h(x)) -> h(minus(x)),
   minus(f(x, y)) -> f(minus(y), minus(x))}
 DP:
  Strict:
   {   minus#(h(x)) -> minus#(x),
    minus#(f(x, y)) -> minus#(x),
    minus#(f(x, y)) -> minus#(y)}
  Weak:
  {minus(minus(x)) -> x,
       minus(h(x)) -> h(minus(x)),
    minus(f(x, y)) -> f(minus(y), minus(x))}
  EDG:
   {(minus#(h(x)) -> minus#(x), minus#(f(x, y)) -> minus#(y))
    (minus#(h(x)) -> minus#(x), minus#(f(x, y)) -> minus#(x))
    (minus#(h(x)) -> minus#(x), minus#(h(x)) -> minus#(x))
    (minus#(f(x, y)) -> minus#(x), minus#(h(x)) -> minus#(x))
    (minus#(f(x, y)) -> minus#(x), minus#(f(x, y)) -> minus#(x))
    (minus#(f(x, y)) -> minus#(x), minus#(f(x, y)) -> minus#(y))
    (minus#(f(x, y)) -> minus#(y), minus#(h(x)) -> minus#(x))
    (minus#(f(x, y)) -> minus#(y), minus#(f(x, y)) -> minus#(x))
    (minus#(f(x, y)) -> minus#(y), minus#(f(x, y)) -> minus#(y))}
   SCCS:
    Scc:
     {   minus#(h(x)) -> minus#(x),
      minus#(f(x, y)) -> minus#(x),
      minus#(f(x, y)) -> minus#(y)}
    SCC:
     Strict:
      {   minus#(h(x)) -> minus#(x),
       minus#(f(x, y)) -> minus#(x),
       minus#(f(x, y)) -> minus#(y)}
     Weak:
     {minus(minus(x)) -> x,
          minus(h(x)) -> h(minus(x)),
       minus(f(x, y)) -> f(minus(y), minus(x))}
     SPSC:
      Simple Projection:
       pi(minus#) = 0
      Strict:
       {   minus#(h(x)) -> minus#(x),
        minus#(f(x, y)) -> minus#(y)}
      EDG:
       {(minus#(f(x, y)) -> minus#(y), minus#(f(x, y)) -> minus#(y))
        (minus#(f(x, y)) -> minus#(y), minus#(h(x)) -> minus#(x))
        (minus#(h(x)) -> minus#(x), minus#(h(x)) -> minus#(x))
        (minus#(h(x)) -> minus#(x), minus#(f(x, y)) -> minus#(y))}
       SCCS:
        Scc:
         {   minus#(h(x)) -> minus#(x),
          minus#(f(x, y)) -> minus#(y)}
        SCC:
         Strict:
          {   minus#(h(x)) -> minus#(x),
           minus#(f(x, y)) -> minus#(y)}
         Weak:
         {minus(minus(x)) -> x,
              minus(h(x)) -> h(minus(x)),
           minus(f(x, y)) -> f(minus(y), minus(x))}
         SPSC:
          Simple Projection:
           pi(minus#) = 0
          Strict:
           {minus#(f(x, y)) -> minus#(y)}
          EDG:
           {(minus#(f(x, y)) -> minus#(y), minus#(f(x, y)) -> minus#(y))}
           SCCS:
            Scc:
             {minus#(f(x, y)) -> minus#(y)}
            SCC:
             Strict:
              {minus#(f(x, y)) -> minus#(y)}
             Weak:
             {minus(minus(x)) -> x,
                  minus(h(x)) -> h(minus(x)),
               minus(f(x, y)) -> f(minus(y), minus(x))}
             SPSC:
              Simple Projection:
               pi(minus#) = 0
              Strict:
               {}
              Qed