@InProceedings{	  kw09mfcs,
  author	= "Manfred Kufleitner and Pascal Weil",
  title		= "On $\mathrm{FO}^{2}$ Quantifier Alternation over Words",
  booktitle	= "Mathematical Foundations of Computer Science 2009, 34th
		  International Symposium, MFCS 2009, Nov{\'y} Smokovec,
		  Slovakia, August 24-28, 2009, Proceedings",
  editor	= "Kr{\'a}lovi\v{c}, Rastislav and Niwi{\'n}ski, Damian",
  publisher	= "Springer-Verlag",
  series	= "Lecture Notes in Computer Science",
  volume	= "5734",
  pages		= "513--524",
  year		= "2009",
  doi		= "10.1007/978-3-642-03816-7_44"
}