Improved decision procedures for the modal logics K, T and S4
scientific article; zbMATH DE number 7869532