%0 Journal Article
%A A. I. Kokorin
%A A. G. Pinus
%T Decidability problems of extended theories
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 1978
%P 53-96
%V 33
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RM_1978_33_2_a1/
%G en
%F RM_1978_33_2_a1