A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus | IEEE Conference Publication | IEEE Xplore