On graphs for intuitionistic modal logics
scientific article; zbMATH DE number 6862951