Norgėla, S. and Šalaviejienė, A. 2023. Sequent calculus for hybrid logic. Lietuvos matematikos rinkinys. 46, spec. (Sep. 2023), 238–241. DOI:https://doi.org/10.15388/LMR.2006.30717.