Return to Article Details The Alternation Hierarchy for the Theory of mu-lattices Download Download PDF