Model checking in the modal \(\mu \)-calculus and generic solutions
scientific article; zbMATH DE number 5872534