(VAR )
(RULES
  a -> b
  a -> d
  b -> a
  c -> a
  c -> b
)
(COMMENT
doi:10.23638/LMCS-13(2:4)2017
[131] Example 5.2
submitted by: Julian Nagele
)