@InProceedings{	  bd96,
  author	= "Michael Bertol and Volker Diekert",
  title		= "Trace rewriting: {C}omputing normal forms in time ${{\cal
		  O}}(n \log n) $.",
  address	= "Heidelberg",
  booktitle	= "Proc. 13th Annual Symposium on Theoretical Aspects of
		  Computer Science (STACS'96), Grenoble (France)",
  editor	= "C. Puech and R. Reischuk",
  year		= "1996",
  volume	= "1046",
  pages		= "269--280",
  publisher	= "Springer-Verlag",
  series	= "Lecture Notes in Computer Science",
  doi		= "10.1007/3-540-60922-9_23"
}