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 24 June 2025]. DOI 10.12775/LLP.2013.022.