A. Indrzejczak, “Simple cut elimination proof for hybrid logic”, LLP, vol. 25, no. 2, pp. 129–141, Apr. 2016.