D. Aleknavičiūtė and S. Norgėla, “Proof-search in hybrid logic”, LMR, vol. 48, no. proc. LMS, pp. 252–255, Dec. 2008, doi: 10.15388/LMR.2008.18104.