David Marker Charles Steinhorn Definable Types in O-Minimal Theories. 185-198 1994 59 J. Symb. Log. 1 db/journals/jsyml/jsyml59.html#MarkerS94