%0 Journal Article %A Yu. G. Ventsov %T Algorithmic properties of branching models %J Algebra i logika %D 1986 %P 369-383 %V 25 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/AL_1986_25_4_a0/ %G ru %F AL_1986_25_4_a0