Indrzejczak, Andrzej, and Michał Zawidzki. “Decision Procedures for Some Strong Hybrid Logics”. Logic and Logical Philosophy, vol. 22, no. 4, Aug. 2013, pp. 389-0, doi:10.12775/LLP.2013.022.