Download citation

One quantifier alternation in first-order logic with modular predicates

RAIRO-Theor. Inf. Appl., 49 1 (2015) 1-22
DOI: https://doi.org/10.1051/ita/2014024