TY  - RPRT
TI  - Decomposition of Decidable First-Order Logics over Integers and Reals
AU  - Florent Bouchy
AU  - Alain Finkel
AU  - Jérôme Leroux
PY  - 2008
DO  - 10.1109/time.2008.22
UR  - https://arxiv.org/abs/0812.1967
ID  - 0812.1967
ER  -