Dries, Lou van den. "Elimination theory for the ring of algebraic integers.." Journal für die reine und angewandte Mathematik 388 (1988): 189-205. <http://eudml.org/doc/153043>.
@article{Dries1988, author = {Dries, Lou van den}, journal = {Journal für die reine und angewandte Mathematik}, keywords = {model theory; elimination theorem; elementary problem; algebraic integer points on absolutely irreducible varieties; decidable}, pages = {189-205}, title = {Elimination theory for the ring of algebraic integers.}, url = {http://eudml.org/doc/153043}, volume = {388}, year = {1988}, }
TY - JOUR AU - Dries, Lou van den TI - Elimination theory for the ring of algebraic integers. JO - Journal für die reine und angewandte Mathematik PY - 1988 VL - 388 SP - 189 EP - 205 KW - model theory; elimination theorem; elementary problem; algebraic integer points on absolutely irreducible varieties; decidable UR - http://eudml.org/doc/153043 ER -