Complete TRS - 38.trs
(VAR ) (RULES b -> a b -> c c -> b c -> d c -> a d -> b a -> d )