TY  - RPRT
TI  - One Quantifier Alternation in First-Order Logic with Modular Predicates
AU  - Manfred Kufleitner
AU  - Tobias Walter
PY  - 2014
UR  - https://arxiv.org/abs/1310.5043
ID  - 1310.5043
ER  -