%0 Journal Article
%A Yu. V. Golunkov
%T Completeness modulo an ideal in functional systems of program type
%J Diskretnaya Matematika
%D 1990
%P 112-120
%V 2
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DM_1990_2_2_a9/
%G ru
%F DM_1990_2_2_a9