S. Norgėla and A. Šalaviejienė, “Sequent calculus for hybrid logic”, LMR, vol. 46, no. spec., pp. 238–241, Sep. 2023, doi: 10.15388/LMR.2006.30717.