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