@Article{	  dhk07mazu,
  author	= "Volker Diekert and Martin Horsch and Manfred Kufleitner",
  journal	= "Fundamenta Informaticae",
  title		= "On First-Order Fragments for {M}azurkiewicz Traces",
  year		= "2007",
  volume	= "80(1-3)",
  pages		= "1--29"
}