Tavole semantiche per sistemi astratti di logica estensionale Flavio Previale (1975) Rendiconti del Seminario Matematico della Università di Padova
The non-axiomatizability of the observational predicate calculus (generalized Trachtenbrot's theorems) Jiří Ivánek (1977) Commentationes Mathematicae Universitatis Carolinae
The observational predicate calculus and complexity of computations (Preliminary communication) Pavel Pudlák (1975) Commentationes Mathematicae Universitatis Carolinae