Indrzejczak, A. Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus. B Sect Log 2016, 45, 125–140.