%0 Journal Article
%T Complexity and expressivity of propositional dynamic logics with finitely many variables
%A Mikhail, Rybakov,
%A Dmitry, Shkatov,
%J Logic Journal of the IGPL
%V 26
%N 5
%@ 1367-0751
%D 2018-09-25
%I Oxford University Press
%~ DeepDyve