graph-rewriting-trs-0.1.2: examples/quot_min.trs

import peano.trs

Mx0       → x
M(Sx)(Sy) → Mxy
Q0(Sy)    → 0
Q(Sx)(Sy) → S(Q(Mxy)(Sy))