NORGĖLA, S. Resolution for hybrid logics. Lietuvos matematikos rinkinys, v. 52, n. proc. LMS, p. 253–256, 15 Dec.2011.