%0 Journal Article %A Lou van den Dries %T Elimination theory for the ring of algebraic integers. %J Journal für die reine und angewandte Mathematik %D 1988 %P 189-205 %V 388 %I mathdoc %U http://geodesic.mathdoc.fr/item/JRAM_1988__388_153043/ %F JRAM_1988__388_153043