Modal trees: Correction to a decision procedure for S5 (and T)
scientific article; zbMATH DE number 4039853