Expressive power and complexity in algebraic logic (1997)

by R Hirsch
Venue:Journal of Logic and Computation