%0 Journal Article %A V. I. Khomich %T The simple substitution property for superintuitionistic propositional logics and its relation to the separability property %J Izvestiya. Mathematics %D 2003 %P 377-404 %V 67 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/IM2_2003_67_2_a7/ %G en %F IM2_2003_67_2_a7