1. Henkin, L., Monk, J. D., Tarski, A.: Cylindric Algebras Part I. vol 64 of studies in logic and the foundation of mathematics. North Holland (1971)
2. Sankappanavar, H.P., Burris, S.: A course in universal algebra. In: Graduate Texts in Mathematics, vol 78. Springer, New York (1981)
3. Henkin, L., Monk, J. D., Tarski, A.: Cylindric Algebras Part II. vol 115 of studies in logic and the foundation of mathematics. North Holland (1985)
4. Németi, I.: Free algebras and decidability in algebraic logic. Academic Doctoral Dissertation (in Hungarian), Hungarian Academy of Sciences, Budapest (1986)
http://www.renyi.hu/~nemeti/NDis/NDis86.pdf
5. Andréka, H., Thompson, R.J.: A Stone type representation theorem for algebras of relations of higher rank. Trans. Am. Math. Soc. 309, 671–682 (1988)