INDRZEJCZAK, A.; ZAWIDZKI, M. Decision procedures for some strong hybrid logics. Logic and Logical Philosophy, [S. l.], v. 22, n. 4, p. 389–409, 2013. DOI: 10.12775/LLP.2013.022. Disponível em: https://apcz.umk.pl/LLP/article/view/LLP.2013.022. Acesso em: 28 mar. 2024.