Indrzejczak, A. Simple Cut Elimination Proof for Hybrid Logic. LLP 2016, 25, 129-141.