%0 Journal Article
%A G. S. Makanin
%T Decidability of the universal and positive theories of a~free group
%J Izvestiya. Mathematics 
%D 1985
%P 75-88
%V 25
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IM2_1985_25_1_a4/
%G en
%F IM2_1985_25_1_a4