Robin Hirsch Ian M. Hodkinson Roger D. Maddux Relation Algebra Reducts of Cylindric Algebras and An Application to Proof Theory. 197-213 2002 67 J. Symb. Log. 1 db/journals/jsyml/jsyml67.html#HirschHM02