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