Algebraic methods for hybrid logics

- Robinson, Claudette