The logic of Rumely's local-global principle. L. van den Dries; Angus Macintyre — 1990 Journal für die reine und angewandte Mathematik
Elementary equivalence and codimension in p-adic fields. L. Bélair; L. Van den Dries — 1988 Manuscripta mathematica
Bounds in the theory of polynomial rings over fields. A nonstandard approach. K. Schmidt; L. van den Dries — 1984 Inventiones mathematicae