Quantifier elimination over finite fields with Gröbner bases

@INPROCEEDINGS{DBLP:conf/cai/GaoPC11,
	pdf = {pub/QEfin.pdf},

  author    = {Sicun Gao and
               Andr{\'e} Platzer and
               Edmund M. Clarke},
  title     = {Quantifier Elimination over Finite Fields
               with {G}r{\"o}bner Bases},
  booktitle = {CAI},
  year      = {2011},
  pages     = {140-157},
  doi       = {10.1007/978-3-642-21493-6_9},
  editor    = {Franz Winkler},
  longbooktitle = {Algebraic Informatics, Fourth
               International Conference, CAI
               2011, Linz, Austria, June 21-24, 2011,
               Proceedings},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {6742},
}```