One quantifier alternation in first-order logic with modular predicates Manfred Kufleitner and Tobias Walter RAIRO-Theor. Inf. Appl., 49 1 (2015) 1-22 Published online: 18 February 2015 DOI: 10.1051/ita/2014024