An efficient quantifier elimination algorithm for algebraically closed fields of any characteristic. - Joos Heintz; H. R. Wüthrich (SIGSAM Bull., 1975)

Ein Entscheidungsverfahren für die Theorie der reell- abgeschlossenen Körper. - H. R. Wüthrich (Komplexität von Entscheidungsproblemen 1976, 1976)