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