An initial semantics for the \(\mu\)-calculus on trees and Rabin's complementation lemma
scientific article; zbMATH DE number 984959