On 2nd order intuitionistic propositional calculus with full comprehension. Dov M. Gabbay (1974) Archiv für mathematische Logik und Grundlagenforschung
On an algebraic and Kripke semantics for intermediate logics Hiroakira Ono, Cecylia Rauszer (1982) Banach Center Publications
On interpolation when function symbols are present. Walter Felscher (1975) Archiv für mathematische Logik und Grundlagenforschung