MAYBE
(ignored inputs)COMMENT doi:10.4230/LIPIcs.FSCD.2016.33 [36] Example 24 submitted by: Takahito Aoto
input TRS:
   [ +(0,?y) -> ?y,
     +(s(0),?y) -> s(?y),
     +(+(?x,?y),?z) -> +(?x,+(?y,?z)),
     +(?x,?y) -> +(?y,?x),
     s(s(?x)) -> s(?x),
     s(?x) -> s(s(?x)) ]
TRS:
   [ +(0,?y) -> ?y,
     +(s(0),?y) -> s(?y),
     +(+(?x,?y),?z) -> +(?x,+(?y,?z)),
     +(?x,?y) -> +(?y,?x),
     s(s(?x)) -> s(?x),
     s(?x) -> s(s(?x)) ]
unknown UNC Completion (Strongly Closed)
problems/574.trs: Failure(unknown UNC)
(60 msec.)