(1)
Norgėla S.; Petrauskas L. Transformations of Formulae of Hybrid Logic. LMR 2010, 51, 342–346.