About the unification types of modal logics
scientific article; zbMATH DE number 7920710
scientific article