%0 Journal Article
%A I. E. Pedanov
%T The decidability of the membership problem in a data processing language for geometry
%J Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
%D 1974
%P 450-460
%V 14
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZVMMF_1974_14_2_a15/
%G ru
%F ZVMMF_1974_14_2_a15