1. Chin, L.H., Tarski, A.: Distributive and modular laws in the arithmetic of relation algebras, vol. 1(9), pp. 341–384. University of California Publications in Mathematics, New Series, Berkeley, Los Angeles,santa barbara (1951)
2. Lecture Notes in Artificial Intelligence;J. Dawson,1998
3. Lecture Notes in Computer Science;L. Gordeev,1995
4. Gordeev, L.: Variable compactness in 1-order logic. Logic Journal of the IGPL 7(3), 327–357 (1999)
5. Hattensperger, C., Berghammer, R., Schmidt, G.: RALF - a relationalgebraic formula manipulation system and proof checker. In: AMAST 1995, Workshops in Computing, pp. 405–406. Springer, Heidelberg (1994)