Indrzejczak, A.; Zawidzki, M. Decision Procedures for Some Strong Hybrid Logics. LLP 2013, 22, 389-409.