Improving the Alternating Fixpoint: The Transformation Approach.

Ulrich Zukowski, Burkhard Freitag, Stefan Brass

Browse the full LPNMR paper archive.