MAYBE
(ignored inputs)COMMENT doi:10.1145/322217.322230 [12] p. 813 , attributed to Barendregt submitted by: Takahito Aoto , Junichi Yoshida , and Yoshihito Toyama
input TRS:
   [ F(?x,?x) -> A,
     G(?x) -> F(?x,G(?x)),
     C -> G(C) ]
TRS:
   [ F(?x,?x) -> A,
     G(?x) -> F(?x,G(?x)),
     C -> G(C) ]
New rules by rule reversing:
   [ F(?x,?x) -> A,
     G(?x) -> G(?x),
     F(?x,G(?x)) -> G(?x),
     C -> C,
     G(C) -> C ]
Check distinct normal forms in critical pair closure...failed
problems/47.trs: Failure(unknown UNC)
(4 msec.)