Mu-calculus path checking
scientific article; zbMATH DE number 5650202