Santocanale, L. “The Alternation Hierarchy for the Theory of Mu-Lattices”. BRICS Report Series, vol. 7, no. 29, Jan. 2000, doi:10.7146/brics.v7i29.20163.