[1]
Norgėla S. and Petrauskas L., “Transformations of formulae of hybrid logic”, LMR, vol. 51, no. proc. LMS, pp. 342–346, Dec. 2010.