Indrzejczak, Andrzej. “Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus”. Bulletin of the Section of Logic 45, no. 2 (June 30, 2016): 125–140. Accessed May 4, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/1482.