MAYBE
(ignored inputs)COMMENT submitted by: Takahito Aoto , Junichi Yoshida , and Yoshihito Toyama
input TRS:
   [ I(?x) -> I(B(?x)),
     F(E(?x),?x) -> G(?x),
     E(?x) -> ?x ]
TRS:
   [ I(?x) -> I(B(?x)),
     F(E(?x),?x) -> G(?x),
     E(?x) -> ?x ]
New rules by rule reversing:
   [ I(?x) -> I(?x),
     I(B(?x)) -> I(?x),
     F(E(?x),?x) -> G(?x),
     E(?x) -> ?x ]
unknown UNC Completion (Strongly Closed)
problems/98.trs: Failure(unknown UNC)
(0 msec.)