%0 Journal Article
%A D. L. Chubarov
%T Local entailment test in the reachability problem for well structured transition systems
%J Sibirskij žurnal čistoj i prikladnoj matematiki
%D 2006
%P 88-97
%V 6
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VNGU_2006_6_3_a6/
%G ru
%F VNGU_2006_6_3_a6