Distributive and modular laws in the arithmetic of relation algebras (1951)

by L H Chin, A Tarski
Venue:Univ. California Publ. Math. (N.S