Indrzejczak, Andrzej. 2016. “Simple Cut Elimination Proof for Hybrid Logic”. Logic and Logical Philosophy 25 (2):129-41. https://doi.org/10.12775/LLP.2016.004.