@InProceedings{	  bd93,
  author	= "Michael Bertol and Volker Diekert",
  address	= "Heidelberg",
  booktitle	= "Term Rewriting",
  editor	= "H. Common and J.-P. Jouannaud",
  volume	= "909",
  pages		= "114--126",
  publisher	= "Springer-Verlag",
  series	= "Lecture Notes in Computer Science",
  title		= "On efficient reduction-algorithms for some trace rewriting
		  systems",
  year		= "1995",
  abstract	= "Basic problems on the decidability and complexity of trace
		  rewriting systems are considered. The new contribution of
		  this paper is an ${\cal O}(n\log n) $ algorithm for
		  computing some irreducible normal forms in the case of
		  certain one-rule systems.",
  doi		= "10.1007/3-540-59340-3_9"
}