Indrzejczak A, Zawidzki M. Decision procedures for some strong hybrid logics. LLP [Internet]. 2013 Aug. 29 [cited 2024 Apr. 19];22(4):389-40. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2013.022