Indrzejczak, A. (2016) “Simple cut elimination proof for hybrid logic”, Logic and Logical Philosophy, 25(2), pp. 129–141. doi: 10.12775/LLP.2016.004.