BEDNARSKA, Kaja and INDRZEJCZAK, Andrzej. Hypersequent Calculi for S5: The Methods of Cut Elimination. Logic and Logical Philosophy. Online. 25 August 2015. Vol. 24, no. 3, p. 277–311. [Accessed 25 July 2024]. DOI 10.12775/LLP.2015.018.