Ulrich Zukowski Burkhard Freitag Stefan Brass Improving the Alternating Fixpoint: The Transformation Approach. 4-59 1997 conf/lpnmr/1997 LPNMR db/conf/lpnmr/lpnmr97.html#ZukowskiFB97