TY - JOUR AU - Kufleitner, Manfred AU - Walter, Tobias TI - One quantifier alternation in first-order logic with modular predicates JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2015 SP - 1 EP - 22 VL - 49 IS - 1 PB - EDP-Sciences UR - http://www.numdam.org/articles/10.1051/ita/2014024/ DO - 10.1051/ita/2014024 LA - en ID - ITA_2015__49_1_1_0 ER -