Santocanale, L. (2000). The Alternation Hierarchy for the Theory of mu-lattices. BRICS Report Series, 7(29). https://doi.org/10.7146/brics.v7i29.20163