%0 Journal Article
%A V. B. Shehtman
%T Bisimulation games and locally tabular logics
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 2016
%P 979-981
%V 71
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RM_2016_71_5_a7/
%G en
%F RM_2016_71_5_a7