A Quasi-Polynomial Black-Box Algorithm for Fixed Point Evaluation.

Andr Arnold, Damian Niwinski, Pawel Parys

Browse the full CSL paper archive.