TY  - RPRT
TI  - Quantifier Elimination for Reasoning in Economics
AU  - Casey B. Mulligan
AU  - Russell Bradford
AU  - James H. Davenport
AU  - Matthew England
AU  - Zak Tonks
PY  - 2018
UR  - https://arxiv.org/abs/1804.10037
ID  - 1804.10037
ER  -