Norgėla S.; Petrauskas L. Transformations of formulae of hybrid logic. Lietuvos matematikos rinkinys, v. 51, n. proc. LMS, p. 342–346, 21 Dec. 2010.