Quasipolynomial Computation of Nested Fixpoints.

Daniel Hausmann, Lutz Schrder

Browse the full TACAS paper archive.