On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains. Shrejner, P.A. — 2000 Siberian Mathematical Journal