Voir la notice de l'article provenant de la source Math-Net.Ru
@article{AL_1964_3_3_a0, author = {M. A. Taitslin}, title = {Decidability of certain elementary theories}, journal = {Algebra i logika}, pages = {5--12}, publisher = {mathdoc}, volume = {3}, number = {3}, year = {1964}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/AL_1964_3_3_a0/} }
M. A. Taitslin. Decidability of certain elementary theories. Algebra i logika, Tome 3 (1964) no. 3, pp. 5-12. http://geodesic.mathdoc.fr/item/AL_1964_3_3_a0/