Ein schnelles Quantoreneliminationsverfahren für die Theorie der algebraisch abgeschlossenen Körper. - üthrich, Hans Rudolf (1977)