Santocanale, L. The Alternation Hierarchy for the Theory of Mu-Lattices. BRICS 2000, 7.