Indrzejczak, A. and Zawidzki, M. 2013. Decision procedures for some strong hybrid logics. Logic and Logical Philosophy. 22, 4 (Aug. 2013), 389–409. DOI:https://doi.org/10.12775/LLP.2013.022.