Gröbner–Shirshov bases for some braid groups

Presenting 2-generator Artin groups and braid groups and as towers of HNN extensions of free groups, we obtain Gröbner–Shirshov bases, normal forms and rewriting systems for these groups.