On models of certain formulas of the predicate calculus of first order B. P. Alimpić — 1968 Matematički Vesnik
On models of certain formulas with a predicate letter of lenght n B. P. Alimpić — 1971 Matematički Vesnik