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. doi:10.18778/0138-0680.2022.02