%0 Journal Article
%A S. I. Gurov
%T Logical recognition algorithms based on the Gilbert expansion
%J Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
%D 2003
%P 1243-1248
%V 43
%N 8
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZVMMF_2003_43_8_a9/
%G ru
%F ZVMMF_2003_43_8_a9