One quantifier alternation in first-order logic with modular predicatesManfred Kufleitner and Tobias WalterRAIRO-Theor. Inf. Appl., 49 1 (2015) 1-22DOI: https://doi.org/10.1051/ita/2014024