Aleknavičiūtė, D. .; Norgėla, S. . Normal Form of Formulas of Pure Hybrid Logic. LMR 2021, 47 (spec.), 341–345. https://doi.org/10.15388/LMR.2007.24225.