Bednarska, K.; Indrzejczak, A. Hypersequent Calculi for S5: The Methods of Cut Elimination. LLP 2015, 24, 277–311.