NO
(ignored inputs)COMMENT doi:10.1145/322217.322230 [12] p. 813 submitted by: Takahito Aoto , Junichi Yoshida , and Yoshihito Toyama
input TRS:
   [ F(?x,?x) -> A,
     F(?x,G(?x)) -> B,
     C -> G(C) ]
TRS:
   [ F(?x,?x) -> A,
     F(?x,G(?x)) -> B,
     C -> G(C) ]
Check distinct normal forms in critical pair closure
convertible distinct normal forms: B = A
problems/46.trs: Success(not UNC)
(0 msec.)