@misc{indiciaef10e2cbcba37,
  title = {Quantifier Elimination over Finite Fields Using Gröbner Bases},
  author = {Sicun Gao and André Platzer and Edmund M. Clarke},
  year = {2011},
  doi = {10.1007/978-3-642-21493-6\_9},
  url = {https://arxiv.org/abs/1104.0746},
  note = {Source identifier: 1104.0746}
}