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