Braüner, T. “Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a Couple of Striking Facts”. Bulletin of the Section of Logic, vol. 51, no. 2, Jan. 2022, pp. 143-62, doi:10.18778/0138-0680.2022.02.