Robin Hirsch's articles on Relation Algebra

• R. Hirsch and I. Hodkinson. Relation Algebras by Games .  Volume 147 in Studies in Logic and the Foundations of Mathematics series, published by Elsevier Science, North-Holland, 2002.  Reviews of the book.
• R. Hirsch and I. Hodkinson. Axiomatising various classes of relation and cylindric algebras.
  In Proc. Workshop on Logic, Language, Information, and Computation , Recife, July 1995. Also appears in Wollic95 Special Issue of the Journal of the Interest Group in Pure and Applied Logics Vol. 5, No. 2, pp 209 - 229, 1997.
• R. Hirsch and I. Hodkinson. Step by step - building representations in algebraic logic.
  In the Journal of Symbolic Logic , volume 62, number 1, pages 225 - 279, March 1997. Includes game-theoretic characterisation of representations of relation algebras and a first-order characterisation of RRA.
• R. Hirsch and I. Hodkinson. Complete representations in algebraic logic.
  In the Journal of Symbolic Logic , volume 62, number 3, pages 816-847, September 1997.  Includes proof that the completely representable relation algebras do not form an elementary class, and the same result for cylindric algebras of any fixed dimension.
• R. Hirsch. Completely representable relation algebras.
  In the Bulletin of the Interest Group in Pure and Applied Logics ( IGPL ), pp77 -92, volume 3, number 1 , March 1995.
• R. Hirsch. Relation algebras of intervals.
  My thesis has three sections: Relation Algebra; Intervals; Applications in Planning. Diagrams are missing.
  
• R. Hirsch and I. Hodkinson. Representability is not decidable for finite relation algebras.
  In the Transactions of the American Mathematical Society (vol. 353 number 4, 2001, pages 1387-1401).  Reduces the tiling problem to the representation problem for finite relation algebras.
  
• R. Hirsch and I. Hodkinson. Connections between cylindric algebras and relation algebras.
  Chapter 14 in Relational Methods in Computer Science Applications, (pages 239-246) which is published in volume 65 of Springer Physica Verlag series  Studies in Fuzziness and Soft Computing , 2001.
  
• R. Hirsch and I. Hodkinson. Relation algebras with n-dimensional bases
  A revised version appears in the  Annals of Pure and Applied Logic ( vol. 101 pp 227-274, 2000, pub. Elsevier) but for copyright reasons this version cannot be posted here.
  
• R. Hirsch and I. Hodkinson. Relation algebras from cylindric algebras, I
  In Annals of Pure and Applied Logic , vol. 112, pp 225-266, 2001.
  
• R. Hirsch and I. Hodkinson. Relation algebras from cylindric algebras, II
  In Annals of Pure and Applied Logic , vol. 112, pp 267-297, 2001.
  
• M. Cristiani and R. Hirsch. The complexity of the constraint satisfaction problem for small relation algebras
  PDF version.  In Artificial Intelligence Journal , volume 156, pages 177-196, 2004.