Norgėla S., and Petrauskas L. “Transformations of Formulae of Hybrid Logic”. Lietuvos Matematikos Rinkinys, Vol. 51, no. proc. LMS, Dec. 2010, pp. 342–346, doi:10.15388/LMR.2010.62.