Quantifier elimination over finite fields with Gröbner bases

@inproceedings{DBLP:conf/cai/GaoPC11,
	pdf = {pub/QEfin.pdf},
	author = {['Sicun Gao', 'André Platzer', 'Edmund M. Clarke']},
	title = {Quantifier Elimination over Finite Fields
               with Grö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}
}