YES
(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 ]
Weight-Decreasing Joinable
problems/797.trs: Success(UNC)
(0 msec.)