%0 Journal Article
%A V. V. Rimatskii
%T On construction of an explicit basis for admissible inference rules of modal logics extending~$S4.1$
%J Diskretnaya Matematika
%D 2011
%P 48-65
%V 23
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DM_2011_23_4_a3/
%G ru
%F DM_2011_23_4_a3