@InProceedings{	  dk07dlt,
  author	= "Volker Diekert and Manfred Kufleitner",
  title		= "On First-Order Fragments for Words and {M}azurkiewicz
		  Traces: {A} Survey",
  booktitle	= "Developments in Language Theory, 11th International
		  Conference, DLT 2007, Turku, Finland, July 3-6, 2007,
		  Proceedings",
  editor	= "Harju, Tero and Karhum{\"{a}}ki, Juhani and Lepist{\"{o}},
		  Arto",
  publisher	= "Springer-Verlag",
  series	= "Lecture Notes in Computer Science",
  volume	= "4588",
  pages		= "1--19",
  year		= "2007",
  doi		= "10.1007/978-3-540-73208-2_1"
}