%0 Journal Article
%A V. V. Rybakov
%T Branching time agents' logic, satisfiability problem by rules in reduced form
%J Sibirskie èlektronnye matematičeskie izvestiâ
%D 2019
%P 1158-1170
%V 16
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SEMR_2019_16_a19/
%G en
%F SEMR_2019_16_a19