@Article{	  KufleitnerW2014,
  author	= "Kufleitner, Manfred and W{\"a}chter, Jan Philipp",
  title		= "Two-Variable Ehrenfeucht-Fraisse Games over Omega-Terms",
  journal	= "ArXiv e-prints",
  volume	= "abs/1411.0593",
  year		= "2014",
  url		= "http://arxiv.org/abs/1411.0593"
}