Projective unification in transitive modal logics
scientific article; zbMATH DE number 7570103