Indrzejczak, A. “Simple Cut Elimination Proof for Hybrid Logic”. Logic and Logical Philosophy, vol. 25, no. 2, Apr. 2016, pp. 129-41, doi:10.12775/LLP.2016.004.