An Improved Algorithm for the Evaluation of Alternating Fixpoint Expressions in the mu-Calculus | IEEE Conference Publication | IEEE Xplore