publication venue for Adding Multiplication to an O-minimal Expansion of the Additive Group of Real Numbers 2017
