@article{JRAM_1991__414_153304,
     author = {A. Prestel and J. Schmid},
     title = {Decidability of the rings of real algebraic and p-adic algebraic integers.},
     journal = {Journal f\"ur die reine und angewandte Mathematik},
     pages = {141--148},
     year = {1991},
     volume = {414},
     zbl = {0717.12006},
     url = {http://geodesic.mathdoc.fr/item/JRAM_1991__414_153304/}
}