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.