Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus
scientific article; zbMATH DE number 6808536