graph-rewriting-trs-0.1.1: examples/cl.trs

import ski.trs

Bxyz → x(yx)
Dxx  → xx
Cxyz → xzy
Yx   → x(Yx)
Wxy  → xyy