@InProceedings{	  KuskeL05tcs,
  author	= "Dietrich Kuske and Markus Lohrey",
  title		= "Decidable first-order theories of one-step rewriting in
		  trace monoids",
  booktitle	= "Theory of Computing Systems",
  publisher	= "Springer",
  journal	= "Theory of Computing Systems",
  volume	= "38",
  number	= "1",
  year		= "2005",
  pages		= "39--81",
  doi		= "10.1007/s00224-004-1099-9"
}