A Decision Procedure for Certain Disjunction-free Intermediate Propositional Calculi Branislav R. Boričić — 1983 Publications de l'Institut Mathématique
One of the Possible Formal Desribtions of Deducubility Branislav R. Boričić — 1983 Publications de l'Institut Mathématique
Equational Reformulations of Intuitionistic Propositional Calculus and Classical First-order Predicate Calculus Branislav R. Boričić — 1981 Publications de l'Institut Mathématique