%0 Journal Article
%A Zoran Marković
%T Kripke Models for Intuitionistic Theories with Decidable Atomic Formulas
%J Publications de l'Institut Mathématique
%D 1984
%P 3 
%V _N_S_36
%N 50
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1984_N_S_36_50_a0/
%G en
%F PIM_1984_N_S_36_50_a0