A Bisimulation characterization Theorem for Hybrid Logic with the current-State Binder. - Ian M. Hodkinson; Hicham Tahiri (Rev. Symb. Log., 2010)