S. . Norgėla and L. . Petrauskas, “Transformations of formulae of hybrid logic”, LMR, vol. 51, no. proc. LMS, pp. 342–346, Dec. 2010, doi: 10.15388/LMR.2010.62.