A. Indrzejczak and M. Zawidzki, “Decision procedures for some strong hybrid logics”, LLP, vol. 22, no. 4, pp. 389–409, Aug. 2013.