Michael Bertol;Volker Diekert
-;-
Confluence problems for trace rewriting systems
Information and Computation