A Decision Procedure for Certain Disjunction-free Intermediate Propositional Calculi Branislav R. Boričić (1983) Publications de l'Institut Mathématique
An algebraic and Kripke-style approach to a certain extension of intuitionistic logic [Book] Cecylia Rauszer (1980)
An algebraic approach to the Heyting-Brouwer predicate calculus Cecylia Rauszer (1977) Fundamenta Mathematicae
An extension of the Kreisel-Putman system. N. Georgieva (1974) Archiv für mathematische Logik und Grundlagenforschung