Voir la notice de l'article provenant de la source Math-Net.Ru
@article{MZM_1990_47_5_a4, author = {N. K. Vereshchagin}, title = {New proof of the solvability of the elementary theory of linearly ordered sets}, journal = {Matemati\v{c}eskie zametki}, pages = {31--38}, publisher = {mathdoc}, volume = {47}, number = {5}, year = {1990}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/MZM_1990_47_5_a4/} }
N. K. Vereshchagin. New proof of the solvability of the elementary theory of linearly ordered sets. Matematičeskie zametki, Tome 47 (1990) no. 5, pp. 31-38. http://geodesic.mathdoc.fr/item/MZM_1990_47_5_a4/