Bednarska, K. and Indrzejczak, A. 2015. Hypersequent Calculi for S5: The Methods of Cut Elimination. Logic and Logical Philosophy. 24, 3 (Aug. 2015), 277–311. DOI:https://doi.org/10.12775/LLP.2015.018.