%0 Journal Article
%A V. V. Rybakov
%A M. Terziler
%A V. V. Rimatskii
%T DescrIbing a~basis in semireduced form for inference rules of intuitionistic logic
%J Algebra i logika
%D 2000
%P 720-740
%V 39
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2000_39_6_a5/
%G ru
%F AL_2000_39_6_a5