TY  - RPRT
TI  - Combining decision procedures for the reals
AU  - Jeremy Avigad
AU  - Harvey Friedman
PY  - 2006
DO  - 10.2168/lmcs-2(4:4)2006
UR  - https://arxiv.org/abs/cs/0601134
ID  - cs/0601134
ER  -