Modal trees: correction to a decision procedure for S5 (and T). - Alfredo Burrieza; Juan C. León (Notre Dame J. Formal Log., 1987)