Andréka, H., Finite axiomatizability of SNrnCAn+1 and non-finite axiomatizability of SNrnCAn+2, Lecture notes for a series of lectures given at Algebraic Logic Meeting, Oakland, CA, 1990.
Andréka, H., Complexity of equations valid in algebras of relations, Part I: Strong non-finitizability, Annals of Pure and Applied Logic, vol. 89 (1997), pp. 149–209.
Andréka, H., Monk, J. D., and Németi, I., Algebraic logic, Colloq. Math. Soc. J. Bolyai, North-Holland, Amsterdam, 1991.
Andréka, H., Németi, I., and Sain, I., Algebraic logic. Handbook of philosophical logic (Gabbay, D. M. and Guenthner, F., editors), Kluwer, second ed., In preparation. Draft available at http://www.math-inst.hu/pub/algebraic-logic/handbook.html.
Chin, L. and Tarski, A., Distributive and modular laws in the arithmetic of relation algebras, University of California Publications in Mathematics, New Series, vol. 1 (1951), pp. 341–384.
Givant, S., Tarski's development of logic and mathematics based on the calculus of relations, In , pp. 189–215.
Greenwood, R. E. and Gleason, A. M., Combinatorial relations and chromatic graphs, Canadian Journal of Mathematics, vol. 7 (1955), pp. 1–7.
Henkin, L., Logic systems containing only a finite number of symbols, Séminaire de mathématiques supérieures, vol. 21, Les Press de l'Université de Montrêal, Montréal, 1967.
Henkin, L., Relativization with respect to formulas and its use in proofs of independence, Compositio Mathematica, vol. 20 (1968), pp. 86–106.
Henkin, L., Internal semantics and algebraic logic, Truth, syntax, and modality (Leblanc, H., editor), Studies in Logic, vol. 68, North-Holland, Amsterdam, 1973, pp. 111–127.
Henkin, L., Monk, J. D, and Tarski, A., Cylindric algebras, Part I, North-Holland, 1971.
Henkin, L., Monk, J. D, and Tarski, A., Cylindric algebras, Part II, North-Holland, 1985.
Henkin, L. and Tarski, A., Cylindric algebras, Lattice theory, proceedings of symposia in pure mathematics (Dilworth, R. R, editor), vol. 2, American Mathematical Society, Providence, 1961, pp. 83–113.
Hirsch, R. and Hodkinson, I., Relation algebras from cylindric algebras, II, Annals of Pure and Applied Logic, to appear.
Johnson, J., Nonfinitizability of classes of representable polyadic algebras, this Journal, vol. 34 (1969), pp. 344–352.
Johnson, J., Axiom systems for logic with finitely many variables, this Journal, vol. 38 (1973), pp. 576–578.
Lyndon, R. C., The representation of relational algebras, Annals of Mathematics (series 2), vol. 51 (1950), pp. 707–729.
Lyndon, R. C., Relation algebras and projective geometries, Michigan Mathematics Journal, vol. 8 (1961), pp. 21–28.
Maddux, R. D., Topics in relation algebra, Ph.D. thesis, University of California, Berkeley, 1978.
Maddux, R. D., Finite integral relation algebras, Universal algebra and lattice theory, Lecture Notes in Mathematics, vol. 1149, Springer-Verlag, 1985, pp. 175–197.
Maddux, R. D., Non-finite axiomatizability results for cylindric and relation algebras, this Journal, vol. 54 (1989), pp. 951–974.
Maddux, R. D., Introductory course on relation algebras, finite-dimensional cylindric algebras, and their interconnections, In , pp. 361–392.
Maddux, R. D., The neat embedding problem and the number of variables required in proofs. Proceedings of the American Mathematical Society, vol. 112 (1991), pp. 195–202.
McKenzie, R. N. W, The representation of integral relation algebras, Michigan Mathematical Journal, vol. 17 (1970), pp. 279–287.
Monk, J. D., Studies in cylindric algebra, Ph.D. thesis, University of California, Berkeley, 1961.
Monk, J. D., Nonfinitizability of classes of representable cylindric algebras, this Journal, vol. 34 (1969), pp. 331–343.
Monk, J. D., Provability with finitely many variables. Proceedings of the American Mathematical Society, vol. 27 (1971), pp. 353–358.
Németi, I. and Simon, A., Relation algebras from cylindric and polyadic algebras, Logic Journal of IGPL, vol. 5 (1997), pp. 575–588.
Tarski, A., A simplified formalization of predicate logic with identity, Archive fiir Mathematische Logik und Grundlagenforschung, vol. 7 (1965), pp. 61–79.
Tarski, A. and Givant, S. R, A formalization of set theory without variables, Colloquium Publications in Mathematics, vol. 41, American Mathematical Society, Providence, 1987.
Thompson, R., Complete description of substitutions in cylindric algebras and other algebraic logics. Algebraic methods in logic and in computer science (Rauszer, C., editor), vol. 28, Banach Center publications, 1993, pp. 327–342.