On A Many-Valued Sentential Calculus Miodrag Kapetanović — 1980 Publications de l'Institut Mathématique
On A Class Of Sentential Functions Miodrag Kapetanović — 1977 Publications de l'Institut Mathématique
On two Classical Results in the First Order Logic Miodrag Kapetanović — 2004 Publications de l'Institut Mathématique
Analytic Tableaux and Interpolation Miodrag Kapetanović — 2007 Publications de l'Institut Mathématique
A Proof Procedure for the First Order Logic Miodrag Kapetanović; Aleksandar Krapež — 1989 Publications de l'Institut Mathématique