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
VL  - 414
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/item/JRAM_1991__414_153304/
LA  - un
ID  - JRAM_1991__414_153304
ER  -