MAYBE
(ignored inputs)COMMENT doi:10.1007/BFb0017487 [19] Example 5.12 submitted by: Takahito Aoto , Junichi Yoshida , and Yoshihito Toyama
input TRS:
   [ F(?x,C(?x)) -> A,
     F(?x,?x) -> B,
     a -> g(C(a)),
     g(?x) -> ?x ]
TRS:
   [ F(?x,C(?x)) -> A,
     F(?x,?x) -> B,
     a -> g(C(a)),
     g(?x) -> ?x ]
New rules by rule reversing:
   [ F(?x,C(?x)) -> A,
     F(?x,?x) -> B,
     a -> a,
     g(C(a)) -> a,
     g(?x) -> ?x ]
unknown Right-Reducible
problems/70.trs: Failure(unknown UNC)
(4 msec.)