Andreka, H. and Givant, S. and Mikulas, Szabolcs and Nemeti, I. and Simon, A. (1998) Notions of density that imply representability in algebraic logic. Annals of Pure and Applied Logic 91 (2/3), pp. 93-190. ISSN 0168-0072.

Andreka, H. and Mikulas, Szabolcs (1994) Lambek calculus and its relational semantics: completeness and incompleteness. Journal of Logic, Language and Information 3 (1), pp. 1-37. ISSN 0925-8531.