(VAR x)
(RULES
  f(a,b,x) -> f(x,x,x)
  a -> c
)
(COMMENT 
doi:10.1007/3-540-45744-5_49
[153] Example 20
submitted by: Raul Gutierrez and Salvador Lucas
)