T. Braüner, “Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts”, B Sect Log, vol. 51, no. 2, pp. 143–162, Jan. 2022, doi: 10.18778/0138-0680.2022.02.