Robin Hirsch Expressive Power and Complexity in Algebraic Logic. 309-351 1997 7 J. Log. Comput. 3 db/journals/logcom/logcom7.html#Hirsch97