INDRZEJCZAK, Andrzej and ZAWIDZKI, Michał. Decision procedures for some strong hybrid logics. Logic and Logical Philosophy. Online. 29 August 2013. Vol. 22, no. 4, pp. 389-409. [Accessed 16 August 2024]. DOI 10.12775/LLP.2013.022.