Kripke models for intuitionistic theories with decidable atomic formulas. Marković, Zoran (1984) Publications de l'Institut Mathématique. Nouvelle Série