MAYBE
(ignored inputs)COMMENT doi:10.2168/LMCS-8 ( 1:31 ) 2012 [35] Example 3.37 ( R_8 )
Rewrite Rules:
   [ f(g(?x),g(?y)) -> f(g(?x),h(?y)),
     f(h(?x),g(?y)) -> f(g(?x),g(?y)),
     f(g(?x),h(?y)) -> f(?x,?y),
     f(h(?x),h(?y)) -> f(?y,?x),
     f(?x,?y) -> f(?y,?x),
     g(?x) -> h(?x),
     h(?x) -> g(?x) ]
Apply Direct Methods...
Inner CPs:
   [ f(h(?x_5),g(?y)) = f(g(?x_5),h(?y)),
     f(g(?x),h(?x_5)) = f(g(?x),h(?x_5)),
     f(h(?x_1),h(?x_5)) = f(g(?x_1),g(?x_5)),
     f(g(?x_6),g(?y_1)) = f(g(?x_6),g(?y_1)),
     f(h(?x_5),h(?y_2)) = f(?x_5,?y_2),
     f(g(?x_2),g(?x_6)) = f(?x_2,?x_6),
     f(g(?x_6),h(?y_3)) = f(?y_3,?x_6),
     f(h(?x_3),g(?x_6)) = f(?x_6,?x_3) ]
Outer CPs:
   [ f(g(?x),h(?y)) = f(g(?y),g(?x)),
     f(g(?x_1),g(?y_1)) = f(g(?y_1),h(?x_1)),
     f(?x_2,?y_2) = f(h(?y_2),g(?x_2)),
     f(?y_3,?x_3) = f(h(?y_3),h(?x_3)) ]
Linear
(inner) Parallel CPs: (not computed)
unknown Toyama (Parallel CPs)
Direct Methods: Can't judge

Combined result: Can't judge
121.trs: Failure(unknown CR)
(0 msec.)