(ignored inputs)COMMENT Example 6 of \cite{TO01} Rewrite Rules: [ f(?x,?x,?y) -> h(?y,c), g(?x) -> f(?x,c,g(c)), c -> h(c,c) ] Apply Direct Methods... Inner CPs: [ ] Outer CPs: [ ] Overlay, check Innermost Termination... unknown Innermost Terminating unknown Knuth&Bendix not Left-Linear, Right-Linear Simple-Right-Linear Direct Methods: CR Final result: CR /local-scratch/hzankl/2012/cops2012/79.trs: Success(CR) (0 msec.)