Indrzejczak, Andrzej, and Michał Zawidzki. 2013. “Decision Procedures for Some Strong Hybrid Logics”. Logic and Logical Philosophy 22 (4):389-409. https://doi.org/10.12775/LLP.2013.022.