TY  - RPRT
TI  - TheoryGuru: A Mathematica Package to apply Quantifier Elimination
AU  - C. Mulligan
AU  - J. H. Davenport
AU  - M. England
PY  - 2018
DO  - 10.1007/978-3-319-96418-8_44
UR  - https://arxiv.org/abs/1806.10925
ID  - 1806.10925
ER  -