Henzinger, T. A., Kupferman, O., &; Majumdar, R. (2003). On the universal and existential fragments of the mu-calculus. In Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems  (Vol. 2619, pp. 49–64). Warsaw, Poland: Springer.https://doi.org/10.1007/3-540-36577-X_5