@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},
     publisher = {mathdoc},
     volume = {414},
     year = {1991},
     zbl = {0717.12006},
     language = {un},
     url = {https://geodesic-test.mathdoc.fr/item/JRAM_1991__414_153304/}
}