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