D. . Aleknavičiūtė and S. . Norgėla, “Normal form of formulas of pure hybrid logic”, LMR, vol. 47, no. spec., pp. 341–345, Jun. 2021, doi: 10.15388/LMR.2007.24225.