(ignored inputs)COMMENT Example 7 of \cite{Gra96caap}
Rewrite Rules:
   [ f(a,b) -> c,
     a -> a',
     b -> b',
     c -> f(a',b),
     c -> f(a,b'),
     c -> f(a,b) ]
Apply Direct Methods...
Inner CPs:
   [ f(a',b) = c,
     f(a,b') = c ]
Outer CPs:
   [ f(a',b) = f(a,b'),
     f(a',b) = f(a,b),
     f(a,b') = f(a,b) ]
not Overlay, check Termination...
unknown/not Terminating
unknown Knuth&Bendix
Linear
unknown Development Closed
Strongly Closed
Direct Methods: CR

Final result: CR
/local-scratch/hzankl/2012/cops2012/34.trs: Success(CR)
(17 msec.)