%0 Journal Article
%A A. D. Yashin
%T Branching-time type operators on finite pseudo-Boolean algebras
%J Algebra i logika
%D 2008
%P 509-519
%V 47
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2008_47_4_a6/
%G ru
%F AL_2008_47_4_a6