Indrzejczak, A. 2016. Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus. Bulletin of the Section of Logic. 45, 2 (Jun. 2016), 125–140. DOI:https://doi.org/10.18778/0138-0680.45.2.05.