TY  - JOUR
AU  - A. Prestel
AU  - J. Schmid
TI  - Decidability of the rings of real algebraic and p-adic algebraic integers.
JO  - Journal für die reine und angewandte Mathematik
PY  - 1991
SP  - 141
EP  - 148
VL  - 414
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/JRAM_1991__414_153304/
ID  - JRAM_1991__414_153304
ER  -