%0 Journal Article
%A A. L. Chistov
%T Strong version of the basic deciding algorithm for the existential theory of real fields
%J Zapiski Nauchnykh Seminarov POMI
%D 1999
%P 168-211
%V 256
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_1999_256_a11/
%G ru
%F ZNSL_1999_256_a11