Ian M. Hodkinson Atom Structures of Cylindric Algebras and Relation Algebras. 117-148 1997 89 Ann. Pure Appl. Logic 2-3 db/journals/apal/apal89.html#Hodkinson97