Reference:

Javier Esparza, Stefan Kiefer, and Michael Luttenberger. Derivation tree analysis for accelerated fixed-point computation. Theor. Comput. Sci., 412(28):3226–3241, 2011.

Suggested BibTeX entry:

@article{DBLP:journalstcsEsparzaKL11,
    author = {Javier Esparza and Stefan Kiefer and Michael Luttenberger},
    journal = {Theor. Comput. Sci.},
    number = {28},
    pages = {3226-3241},
    title = {Derivation tree analysis for accelerated fixed-point computation},
    volume = {412},
    year = {2011}
}