Gröbner–Shirshov bases for some braid groups

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