Definability and fast quantifier elimination in algebraically closed fields. - Heintz, Joos (1982)