@Article{	  KufleitnerWalter2015rairo,
  author	= "Manfred Kufleitner and Tobias Walter",
  title		= "One quantifier alternation in first-order logic with
		  modular predicates",
  doi		= "10.1051/ita/2014024",
  url		= "http://dx.doi.org/10.1051/ita/2014024",
  journal	= "RAIRO-Theor. Inf. Appl.",
  year		= "2015",
  volume	= "49",
  number	= "1",
  pages		= "1--22"
}