Robin Hirsch: The Finite Representable Relation Algebras are not Recursive (Abstract). RelMiCS 1997: 245