1. Andréka, H., Németi, I.: Formalizing set theory in diagonal-free cylindric algebras, searching for the weakest logic with Gödel’s incompleteness property (2011, preprint). http://www.renyi.hu/~nemeti/NDis/diagonalfree.pdf
2. Henkin, L., Monk, J.D., Tarski, A.: Cylindric Algebras. Part I. Studies in Logic and the Foundations of Mathematics, vol. 64. North-Holland, Amsterdam (1971)
3. Henkin, L., Monk, J.D., Tarski, A.: Cylindric Algebras. Part II. Studies in Logic and the Foundations of Mathematics, vol. 115. North-Holland, Amsterdam (1985)
4. Henkin, L., Tarski, A.: Cylindric algebras. In: Proc. Sympos. Pure Math., vol. II, pp. 83–113. American Mathematical Society, Providence (1961)
5. Jónsson B., Tarski A.: Boolean algebras with operators. II. Amer. J. Math. 74, 127–162 (1952)