Norgėla, S. and Petrauskas, L. 2010. Transformations of formulae of hybrid logic. Lietuvos matematikos rinkinys. 51, proc. LMS (Dec. 2010), 342–346. DOI:https://doi.org/10.15388/LMR.2010.62.