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