Frame Definability for Classes of Trees in the μ-calculus
scientific article