%0 Journal Article %A P. A. Schreiner %T Automatic recognition of interpolation in modal calculi %J Algebra i logika %D 2007 %P 103-119 %V 46 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/AL_2007_46_1_a6/ %G ru %F AL_2007_46_1_a6