(ignored inputs)COMMENT Example 4 of \cite{Gra96caap} Rewrite Rules: [ f(g(?x),h(?x)) -> a, g(b) -> d, h(c) -> d ] Apply Direct Methods... Inner CPs: [ f(d,h(b)) = a, f(g(c),d) = a ] Outer CPs: [ ] not Overlay, check Termination... Terminating, not WCR Knuth&Bendix Direct Methods: not CR Final result: not CR /local-scratch/hzankl/2012/cops2012/32.trs: Success(not CR) (1 msec.)