MAYBE
(ignored inputs)COMMENT doi:10.1016/j.ipl.2018.04.002 [150] Example 9 submitted by: Raul Gutierrez and Salvador Lucas
input TRS:
   [ f(?x,?x) -> c,
     a -> b,
     b -> a ]
TRS:
   [ f(?x,?x) -> c,
     a -> b,
     b -> a ]
unknown UNC Completion (Strongly Closed)
problems/797.trs: Failure(unknown UNC)
(0 msec.)