Lou van den Dries, Rick L. Smith. Decidable Regularly Closed Fields of Algebraic Numbers. Journal of Symbolic Logic, 50(2):468-475, 1985.
@article{DriesS85,
title = {Decidable Regularly Closed Fields of Algebraic Numbers},
author = {Lou van den Dries and Rick L. Smith},
year = {1985},
tags = { algebra},
researchr = {https://researchr.org/publication/DriesS85},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {50},
number = {2},
pages = {468-475},
}