Aleknavičiūtė, Daiva, and Stanislovas Norgėla. “Normal Form of Formulas of Pure Hybrid Logic”. Lietuvos Matematikos Rinkinys, vol. 47, no. spec., June 2021, pp. 341–345, https://doi.org/10.15388/LMR.2007.24225.