Solving Fixed-Point Equations by Derivation Tree Analysis.

Javier Esparza, Michael Luttenberger

Browse the full CALCO paper archive.