@Article{ KuskeL02icalp, author = "Kuske, Dietrich and Lohrey, Markus", title = "On the theory of one-step rewriting in trace monoids", year = "2002", volume = "2380", pages = "752--763", publisher = "Springer", address = "Berlin", series = "Lecture Notes in Computer Science", booktitle = "29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002. Proceedings", doi = "10.1007/3-540-45465-9_64" }