Connections between cylindric algebras and relation algebras
Robin Hirsch and Ian Hodkinson
A short summary of our work on approximations to S Ra CAn - relational bases, cylindric bases, hyperbases etc. Summarises some of the work from "Relation algebras with n-dimensional bases", "On the number of variables required for proofs", "Relation algebras from cylindric algebras, I" and "Relation algebras from cylindric algebras, II" .
Postscript file