Aleknavičiūtė, Daiva, and Stanislovas Norgėla. “Normal Form of Formulas of Pure Hybrid Logic”. Lietuvos matematikos rinkinys 47, no. spec. (June 14, 2021): 341–345. Accessed May 7, 2024. https://www.journals.vu.lt/LMR/article/view/24225.