#273 aaabababa=babaaaa

Original presentation

\( \left\langle a, b \;\middle|\; a^{3} b a b a b a = b a b a^{4} \right\rangle \)

\( \left\langle a, b, c, d \;\middle|\; c a d^{3} = d b c^{2},\; c = a^{2},\; d = b a \right\rangle \)

Using reversed recursive path order (RevRPOCmp) with \(d < a < b < c\):

\( \begin{aligned} c &\rightarrow a^{2} \\ b a &\rightarrow d \\ d^{2} a^{3} &\rightarrow a^{3} d^{3} \end{aligned} \)