@incollection{MSMF_1984_2_16__67_0,
     author = {Schmitt, Peter H.},
     title = {Undecidable theories of valuated abelian groups},
     booktitle = {Compte-rendu de la table ronde de logique des 15 et 16 octobre 1983 \`a Paris},
     editor = {Delon, F. and Lascar, D. and Parigot, M. and Sabbagh, G.},
     series = {M\'emoires de la Soci\'et\'e Math\'ematique de France},
     pages = {67--76},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {16},
     year = {1984},
     doi = {10.24033/msmf.313},
     mrnumber = {87a:03080},
     zbl = {0555.20034},
     url = {http://www.numdam.org/articles/10.24033/msmf.313/}
}