%0 Journal Article
%A D. Yu. Grigor'ev
%T The complexity of the decision problem for the first order theory of algebraically closed fields
%J Izvestiya. Mathematics 
%D 1987
%P 459-475
%V 29
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IM2_1987_29_2_a9/
%G en
%F IM2_1987_29_2_a9