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