Robin Hirsch Ian M. Hodkinson Step by Step - Building Representations in Algebraic Logic. 225-279 1997 62 J. Symb. Log. 1 db/journals/jsyml/jsyml62.html#HirschH97