Braüner T. Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts. B Sect Log [Internet]. 2022 Jan. 7 [cited 2024 May 11];51(2):143-62. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/8080