TY  - RPRT
TI  - Quantifier Elimination over Finite Fields Using Gröbner Bases
AU  - Sicun Gao
AU  - André Platzer
AU  - Edmund M. Clarke
PY  - 2011
DO  - 10.1007/978-3-642-21493-6_9
UR  - https://arxiv.org/abs/1104.0746
ID  - 1104.0746
ER  -