YES
(ignored inputs)COMMENT doi:10.1007/11805618_6 [7] Example 3 submitted by: Takahito Aoto , Junichi Yoshida , and Yoshihito Toyama
Input:
   [ b -> a,
     b -> c,
     c -> h(b),
     c -> d,
     a -> h(a),
     d -> h(d) ]

Make it flat:
   [ b -> a,
     b -> c,
     c -> h(b),
     c -> d,
     a -> h(a),
     d -> h(d) ]
Time: 0.000 [s]

Make it Complete (R^):
   [ h(b) = a,
     b = h(a),
     h(a) = c,
     h(a) = h(c),
     h(a) = h(d),
     h(a) = d,
     a = c,
     a = h(c),
     a = h(d),
     h(a) = h(b),
     a = d,
     b = a,
     b = d,
     b = h(d),
     b = h(c),
     b = h(b),
     b = c,
     d = h(b),
     h(b) = h(d),
     h(b) = h(c),
     c = h(b),
     h(c) = d,
     h(c) = h(d),
     h(c) = c,
     c = h(d),
     c = d,
     a = h(a),
     d = h(d) ]
Time: 0.007 [s]

The number of normal forms that must be checked: 10
Time: 0.000 [s]

Now checking all the pairs...

Time to check pairs: 0.001 [s]

The TRS has Uniqueness of Normal Forms.
Total Time: 0.008 [s]

problems/21.trs: Success(UNC)
real 0.02
user 0.02
sys 0.00