%0 Journal Article
%A A. A. Letichevskii
%T Completability of a search for invariant equalities in programs
%J Doklady Akademii Nauk
%D 1988
%P 1307-1309
%V 299
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1988_299_6_a5/
%G ru
%F DAN_1988_299_6_a5