Certificate for #1676 ⟨a, b | aabaabaab=b⟩

Completion settings:

• Reduction order:
  • Left-to-right shortlex with b < a

Axiom: aabaabaab=b.

Defines rule #2.

Referenced by [2].

Overlap of [1] aabaabaab=b with [1] aabaabaab=b:

Critical pair: aabb=baab.

Defines rule #1.