%0 Journal Article
%A Kufleitner, Manfred
%A Walter, Tobias
%T One quantifier alternation in first-order logic with modular predicates
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2015
%P 1-22
%V 49
%N 1
%I EDP-Sciences
%U http://www.numdam.org/articles/10.1051/ita/2014024/
%R 10.1051/ita/2014024
%G en
%F ITA_2015__49_1_1_0