@InProceedings{	  KufleitnerWalter16CSR,
  author	= "Manfred Kufleitner and Tobias Walter",
  title		= "Level Two of the Quantifier Alternation Hierarchy over
		  Infinite Words",
  booktitle	= "CSR",
  series	= "Lecture Notes in Computer Science",
  volume	= "9691",
  pages		= "223--236",
  publisher	= "Springer",
  year		= "2016",
  doi		= "10.1007/978-3-319-34171-2"
}