%0 Journal Article
%A Yu. V. Matiyasevich
%T A new technique for obtaining Diophantine representations via elimination of bounded universal quantifiers
%J Zapiski Nauchnykh Seminarov POMI
%D 1995
%P 83-92
%V 220
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_1995_220_a5/
%G ru
%F ZNSL_1995_220_a5