1. [3] Andréka, H., T. Gergely, and I. Németi, "On universal algebraic constructions of logics", Studia Logica, vol. 36 (1977), pp. 9–47.
2. [4] Andréka, H., J. D. Monk, and I. Németi, editors, Algebraic Logic, vol. 54 of Colloquia Mathematica Societatis János Bolyai, North-Holland Publishing Co., Amsterdam, 1991. Papers from the colloquium held in Budapest, 1988.
3. [5] Andréka, H., and I. Németi, "On systems of varieties definable by schemes of equations", Algebra Universalis, vol. 11 (1980), pp. 105–16.
4. [7] Andréka, H., "Complexity of equations valid in algebras of relations I. Strong non-finitizability", Annals of Pure and Applied Logic, vol. 89 (1997), pp. 149–209.
5. [8] Biró, B., "Non-finite-axiomatizability results in algebraic logic", The Journal of Symbolic Logic, vol. 57 (1992), pp. 832–43.