Lou van den Dries Adam H. Lewenberg T-Convexity and Tame Extensions. 74-102 1995 60 J. Symb. Log. 1 db/journals/jsyml/jsyml60.html#DriesL95