1. Expressive power and succinctness of the positive calculus of relations;Nakamura,2020
2. On the calculus of relations;Tarski;J. Symb. Log.,1941
3. Introduction to Relation Algebras;Givant,2017
4. A Formalization of Set Theory Without Variables;Tarski,1987
5. The calculus of relations as a foundation for mathematics;Givant;J. Autom. Reason.,2007