Braüner, T. Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a Couple of Striking Facts. B Sect Log 2022, 51 (2), 143-162. https://doi.org/10.18778/0138-0680.2022.02.