Algoritmische Entscheidbarkeit der Theorie der algebraisch abgeschlossenen Körper. - Mueller, Peter (1975)