Certificate for #859 ⟨a, b | abbaabba=a⟩

Back:⟨a, b | abbaabba=a⟩

Completion settings:

[1] abbaabba=a

Axiom: abbaabba=a.

Referenced by [2], [3].

[2] abbaa=aabba

Overlap of [1] abbaabba=a with [1] abbaabba=a:

abba abba abbaabba

Critical pair: abbaa=aabba.

Defines rule #1.

Referenced by [3].

[3] aabbabba=a

Overlap of [1] abbaabba=a with [2] abbaa=aabba:

abbaabba abbaa

Critical pair: aabbabba=a.

Defines rule #2.