Tadeusz Litak: Algebraization of Hybrid Logic with Binders. RelMiCS 2006: 281-295