@InProceedings{	  dk09stacs,
  author	= "Volker Diekert and Manfred Kufleitner",
  title		= "Fragments of First-Order Logic over Infinite Words",
  booktitle	= "26th International Symposium on Theoretical Aspects of
		  Computer Science (STACS) 2009",
  event_place	= "Freiburg, Germany",
  event_name	= "26th International Symposium on Theoretical Aspects of
		  Computer Science",
  event_date	= "February 26--28",
  isbn		= "978-3-939897-09-05",
  issn		= "1868-8969",
  editor	= "Susanne Albers and Jean-Yves Marion",
  publisher	= "Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik",
  address	= "Dagstuhl, Germany",
  series	= "Leibniz International Proceedings in Informatics (LIPIcs)",
  year		= "2009",
  pages		= "325--336",
  crossref	= "DBLP:conf/stacs/2009",
  bibsource	= "DBLP, http://dblp.uni-trier.de",
  doi		= "10.4230/LIPIcs.STACS.2009.1818"
}