Bednarska, K., and A. Indrzejczak. “Hypersequent Calculi for S5: The Methods of Cut Elimination”. Logic and Logical Philosophy, vol. 24, no. 3, Aug. 2015, pp. 277–311, doi:10.12775/LLP.2015.018.