Algorithmic correspondence for intuitionistic modal mu-calculus
scientific article; zbMATH DE number 6380849