Step by step — building representations in algebraic logic (1997)

by R Hirsch, I Hodkinson
Venue:Journal of Symbolic Logic