On construction of an explicit basis for admissible inference rules of modal logics extending S4.1
scientific article; zbMATH DE number 6159356