Step by Step - Building Representations in Algebraic Logic (1995)

by Robin Hirsch, Ian Hodkinson
Venue:Journal of Symbolic Logic