@Article{	  dgk08ijfcs,
  author	= "Volker Diekert and Paul Gastin and Manfred Kufleitner",
  title		= "A Survey on Small Fragments of First-Order Logic over
		  Finite Words",
  journal	= "International Journal of Foundations of Computer Science",
  note		= "Special issue DLT 2007",
  year		= "2008",
  volume	= "19",
  pages		= "513--548",
  doi		= "10.1142/S0129054108005802"
}