(VAR)
(RULES
  f(a,a,b,b) -> f(c,c,c,c)
  a -> b
  a -> c
  b -> a
  b -> c
)
(COMMENT
doi:10.1007/978-3-319-43144-4_18
[110] Example 4
)