Braüner, T. 2022. Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts. Bulletin of the Section of Logic. 51, 2 (Jan. 2022), 143–162. DOI:https://doi.org/10.18778/0138-0680.2022.02.