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.