H. R. Wüthrich. Ein Entscheidungsverfahren für die Theorie der reell- abgeschlossenen Körper. In Ernst Specker, Volker Strassen, editors, Komplexität von Entscheidungsproblemen, Ein Seminar. Volume 43 of Lecture Notes in Computer Science, pages 138-162, Springer, 1976.
@inproceedings{Wuthrich76, title = {Ein Entscheidungsverfahren für die Theorie der reell- abgeschlossenen Körper}, author = {H. R. Wüthrich}, year = {1976}, researchr = {https://researchr.org/publication/Wuthrich76}, cites = {0}, citedby = {0}, pages = {138-162}, booktitle = {Komplexität von Entscheidungsproblemen, Ein Seminar}, editor = {Ernst Specker and Volker Strassen}, volume = {43}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-07805-3}, }