Braüner, T. Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a Couple of Striking Facts. B Sect Log 2022, 51, 143-162.