Certificate for #3742 ⟨a, b | abaabbaaab=b⟩

Completion settings:

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

Axiom: abaabbaaab=b.

Defines rule #4.

Referenced by [2], [3], [4].

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

Critical pair: abaabbaab=baabbaaab.

Defines rule #3.

Referenced by [3].

Overlap of [2] abaabbaab=baabbaaab with [1] abaabbaaab=b:

Critical pair: abaabbab=baabbaaabaabbaaab.

Reduce RHS:

Defines rule #2.

Referenced by [4].

Overlap of [3] abaabbab=baabbaab with [1] abaabbaaab=b:

Critical pair: abaabbb=baabbaabaabbaaab.

Reduce RHS:

Defines rule #1.