Braids via term rewriting

Jörg Endrullis, Jan Willem Klop. Braids via term rewriting. Theoretical Computer Science, 777:260-295, 2019. [doi]