Norgėla, S.; Šalaviejienė, A. Sequent Calculus for Hybrid Logic. LMR 2023, 46 (spec.), 238–241. https://doi.org/10.15388/LMR.2006.30717.