1. D.M. Gabbay, Craig theorem for modal logics.
2. D.M. Gabbay, Model theory for intuitionistic logic I.
3. An extension of the Craig-Schütte interpolation theorem;Nagashima;Ann. Japan Assoc. Phil. Sci.,1966
4. Der Interpolationssatz der intuitionistischen Prädikatenlogik;Schütte;Math. Ann.,1962
5. On the strong semantic completeness of the intuitionistic predicate calculus;Thomason;J. Symbolic Logic,1968