INDRZEJCZAK, Andrzej. Simple cut elimination proof for hybrid logic. Logic and Logical Philosophy. Online. 4 April 2016. Vol. 25, no. 2, pp. 129-141. [Accessed 4 July 2024]. DOI 10.12775/LLP.2016.004.