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