Elimination theory for the ring of algebraic integers. Lou van den Dries (1988) Journal für die reine und angewandte Mathematik
Existentially closed domains with radical relations. A. Prestel, J. Schmid (1990) Journal für die reine und angewandte Mathematik
Expansions of models of ZFC. T.B. Flannagan (1980) Archiv für mathematische Logik und Grundlagenforschung