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.
Abstract is missing.