Robin Hirsch Ian M. Hodkinson Axiomatising Various Classes of Relation and Cylindric Algebras. 1997 5 Logic Journal of the IGPL 2 http://www3.oup.co.uk/igpl/Volume_05/Issue_02/#hodkinson db/journals/igpl/igpl5.html#HirschH97