MAYBE
(ignored inputs)COMMENT Example 4
input TRS:
   [ f(?x,?x) -> h(?x,f(?x,b)),
     f(g(?y),?y) -> h(?y,f(g(?y),c(b))),
     h(c(?x),b) -> h(b,b),
     c(b) -> b ]
TRS:
   [ f(?x,?x) -> h(?x,f(?x,b)),
     f(g(?y),?y) -> h(?y,f(g(?y),c(b))),
     h(c(?x),b) -> h(b,b),
     c(b) -> b ]
New rules by rule reversing:
   [ f(?x,?x) -> h(?x,f(?x,b)),
     f(g(?y),?y) -> f(g(?y),?y),
     h(?y,f(g(?y),c(b))) -> f(g(?y),?y),
     h(c(?x),b) -> h(b,b),
     c(b) -> b ]
unknown Weight-Decreasing Joinable
problems/ex5.trs: Failure(unknown UNC)
(24 msec.)