1. L.Banachowski, Investigations of properties of programs by means of the extended algorithmic logic, Fundamenta Informaticae I, 1977
2. W.Dańko, Programs with tables and procedures on the ground of algorithmic logic, doctoral dissertation, University of Warsaw, 1976
3. W.Dańko, Algorithmic logic with tables and classical quantifiers Zeszyty naukowe Filii UW w Białymstoku, (in print)
4. E.Engeler, Algorithmic properties of structures, Math. Sys. Theory I, 1967
5. M.Grabowski, The set of all tautologies of the zero order algorithmic logic is decidable, Bull.Acad.Polon.Sci. Sèr.Math.Astr.Phys., 20, 1972