1. Alm, J.F., Hirsch, R., Maddux, R.D.: There is no finite-variable equational axiomatization of representable relation algebras over weakly representable relation algebras. Rev. Symb. Log. 9(3), 511–521 (2016)
2. Alon, N., Spencer, J.H.: The Probabilistic Method, fourth edition. Wiley Series in Discrete Mathematics and Optimization. Wiley , Hoboken, NJ (2016)
3. Andréka, H., Maddux, R.D., Németi, I.: Splitting in relation algebras. Proc. Am. Math. Soc. 111(4), 1085–1093 (1991)
4. Jónsson, B.: The theory of binary relations. In: Algebraic logic (Budapest, 1988), Colloq. Math. Soc. János Bolyai, vol. 54, pp. 245–292. North-Holland, Amsterdam (1991)
5. Texts in Theoretical Computer Science. An EATCS Series;Stasys Jukna,2011